Fixed stupid path

[helm.git] / helm / software / matita / contribs / ng_TPTP / run_veloci.sh

diff --git a/helm/software/matita/contribs/ng_TPTP/run_veloci.sh b/helm/software/matita/contribs/ng_TPTP/run_veloci.sh
index 68976da4d33f1aff88e14047e7b265921e23b06a..8420b055bb8f145f94c83c9f9992dcea4dc053b0 100755 (executable)
--- a/helm/software/matita/contribs/ng_TPTP/run_veloci.sh
+++ b/helm/software/matita/contribs/ng_TPTP/run_veloci.sh
@@ -2,6 +2,6 @@ for X in `cat Veloci`;
 do
 echo $X;
 touch $X;
-/home/maxime/matita/software/matita/matitac.opt $X 2> /dev/null
+../../matitac.opt $X 2> /dev/null
 done