X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Finversion.ma;h=3e49e06685d22818abd961fec9774f7708b4ab79;hb=b1527286e32c8651d65619af61e3f638b3b89f8d;hp=b39d839b00cfe80a56bcd08bee4593cc846d73fc;hpb=de21be5819bd35a2cb83b3d33b1c578d970a32c7;p=helm.git

diff --git a/helm/matita/tests/inversion.ma b/helm/matita/tests/inversion.ma
index b39d839b0..3e49e0668 100644
--- a/helm/matita/tests/inversion.ma
+++ b/helm/matita/tests/inversion.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 set "baseuri" "cic:/matita/tests/inversion_sum/".
-include "coq.ma".
+include "legacy/coq.ma".
 
 
 alias symbol "eq" (instance 0) = "Coq's leibnitz's equality".