mod change (-x)

[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
old mode 100755 (executable)
new mode 100644 (file)
index 68976da..8420b05
--- 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