X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_TPTP%2Frun_veloci.sh;h=8420b055bb8f145f94c83c9f9992dcea4dc053b0;hb=0f13d14b63b012e0ea8ce0d0e71bf808fdd444eb;hp=68976da4d33f1aff88e14047e7b265921e23b06a;hpb=f0e5841f5bb418fbc9e1dd11471b0bab2f35f78b;p=helm.git

diff --git a/helm/software/matita/contribs/ng_TPTP/run_veloci.sh b/helm/software/matita/contribs/ng_TPTP/run_veloci.sh
index 68976da4d..8420b055b 100755
--- 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