X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fhard_refine.ma;h=94766ab0b06ba67c81c31ac3d65c1a1dfb8aeb81;hb=06a19bec47845ecffe3bf9d9a95d3d4dadf76861;hp=1b194559c28b97918b8d184c57027f1aab23c9e9;hpb=2bd3b029f7f67d9c616b7756278573cc9e96510c;p=helm.git

diff --git a/helm/software/matita/tests/hard_refine.ma b/helm/software/matita/tests/hard_refine.ma
index 1b194559c..94766ab0b 100644
--- a/helm/software/matita/tests/hard_refine.ma
+++ b/helm/software/matita/tests/hard_refine.ma
@@ -1,5 +1,5 @@
 set "baseuri" "cic:/matita/TPTP/BOO024-1".
-include "legacy/coq.ma".
+include "../legacy/coq.ma".
 alias id "eq" = "cic:/Coq/Init/Logic/eq.ind#xpointer(1/1)".
 (* Inclusion of: BOO024-1.p *)
 (* -------------------------------------------------------------------------- *)