first snapshot of separate compilation

[helm.git] / helm / matita / tests / fix_betareduction.ma

diff --git a/helm/matita/tests/fix_betareduction.ma b/helm/matita/tests/fix_betareduction.ma
index d86602c5748fe9e63a25a4056934945d9b417aba..b4ea8d8b510371aacc0eb638af9fb292f1ea3561 100644 (file)
--- a/helm/matita/tests/fix_betareduction.ma
+++ b/helm/matita/tests/fix_betareduction.ma
@@ -1,4 +1,4 @@
-set "baseuri" "cic:/matita/tests/".
+set "baseuri" "cic:/matita/tests/fix_betareduction/".
 
 alias id "eq" = "cic:/Coq/Init/Logic/eq.ind#xpointer(1/1)".
 alias id "n" = "cic:/Suresnes/BDD/canonicite/Canonicity_BDT/n.con".