some uris fixed

[helm.git] / helm / software / matita / tests / apply2.ma

diff --git a/helm/software/matita/tests/apply2.ma b/helm/software/matita/tests/apply2.ma
index 220eddb4bc785193c164239f99b19f15e3813e26..db87636d7f89bbcb581e1db99e5365e3b9dbbd3a 100644 (file)
--- a/helm/software/matita/tests/apply2.ma
+++ b/helm/software/matita/tests/apply2.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/test/apply2".
+set "baseuri" "cic:/matita/tests/apply2".
 
 include "nat/nat.ma".