From 81536afde39576226c5419736e7a15440b46e223 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 18 Jul 2006 14:33:50 +0000 Subject: [PATCH] baseuri for group.ma fixed --- helm/software/matita/tests/paramodulation/group.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/tests/paramodulation/group.ma b/helm/software/matita/tests/paramodulation/group.ma index a9a55b9cf..fc2ff14ce 100644 --- a/helm/software/matita/tests/paramodulation/group.ma +++ b/helm/software/matita/tests/paramodulation/group.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/test/". +set "baseuri" "cic:/matita/test/paramodulation/group". include "legacy/coq.ma". -- 2.39.2