X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2Fhard_refine.ma;h=94766ab0b06ba67c81c31ac3d65c1a1dfb8aeb81;hb=241dd3fc882e24a1d3a386a9c612aa8fc720abdb;hp=1b194559c28b97918b8d184c57027f1aab23c9e9;hpb=3ee4674162a39cb65b08d492278738008057566d;p=helm.git

diff --git a/matita/tests/hard_refine.ma b/matita/tests/hard_refine.ma
index 1b194559c..94766ab0b 100644
--- a/matita/tests/hard_refine.ma
+++ b/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 *)
 (* -------------------------------------------------------------------------- *)