changes location of coq.ma (now "legacy/coq.ma")

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

diff --git a/helm/matita/tests/unfold.ma b/helm/matita/tests/unfold.ma
index d17e5a2daf9fd243c136f10cfcd6997707226ede..99f3931c21780ea24fdf625228027df9727c570e 100644 (file)
--- a/helm/matita/tests/unfold.ma
+++ b/helm/matita/tests/unfold.ma
@@ -14,7 +14,7 @@
 
 set "baseuri" "cic:/matita/unfold".
 
-include "coq.ma".
+include "legacy/coq.ma".
 
 alias symbol "plus" (instance 0) = "Coq's natural plus".
 definition myplus \def \lambda x,y. x+y.