X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Ftests%2Finjection.ma;h=929e63cd5296fadb329a6b806a731667ac377741;hb=df1c68cd483823071179fb74428de36f21c20972;hp=69edcf6205ea8ccaee3fd29d76f05bc7f4b92b06;hpb=0fadcf36d82e4ed816a50db09dfd1559a8507e6c;p=helm.git diff --git a/helm/software/matita/tests/injection.ma b/helm/software/matita/tests/injection.ma index 69edcf620..929e63cd5 100644 --- a/helm/software/matita/tests/injection.ma +++ b/helm/software/matita/tests/injection.ma @@ -14,7 +14,7 @@ set "baseuri" "cic:/matita/tests/injection". -include "legacy/coq.ma". +include "../legacy/coq.ma". alias id "nat" = "cic:/Coq/Init/Datatypes/nat.ind#xpointer(1/1)". alias id "bool" = "cic:/Coq/Init/Datatypes/bool.ind#xpointer(1/1)".