From 062e26282e636bb9bb8894466b56aa62e346016d Mon Sep 17 00:00:00 2001
From: denes <??>
Date: Thu, 18 Jun 2009 11:43:51 +0000
Subject: [PATCH] Fixed stupid path

---
 helm/software/matita/contribs/ng_TPTP/run_veloci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.39.2