]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b81fd5d)
baseuri for group.ma fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000)
matita/tests/paramodulation/group.ma patch | blob | history

diff --git a/matita/tests/paramodulation/group.ma b/matita/tests/paramodulation/group.ma
index a9a55b9cf6ddacb1ab0da7ae89c33e65a5f38530..fc2ff14ce043ed551fef203fba84d714e37581e2 100644 (file)
--- a/matita/tests/paramodulation/group.ma
+++ b/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".
 
Unnamed repository; edit this file 'description' to name the repository.