Bug fixed in definition of cic:/.../setoids/make_compatibility_goal_aux.con:

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

diff --git a/matita/tests/decompose.ma b/matita/tests/decompose.ma
index fe72f710a7a4b8fed5dfba289fee2ae411768a26..03f43a9ca505a24d93b63d9840a9251e7c12f294 100644 (file)
--- a/matita/tests/decompose.ma
+++ b/matita/tests/decompose.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 set "baseuri" "cic:/matita/tests/decompose".
-include "legacy/coq.ma".
+include "../legacy/coq.ma".
 alias symbol "and" (instance 0) = "Coq's logical and".
 alias symbol "or" (instance 0) = "Coq's logical or".