X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2Fsabba.sh;h=31c186af409d64da34ee836d845b65b5c5829265;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=239cd99092673ebba943726a334f69d6c0077db3;hpb=ed90e027472d0250d45ae7200600c8804dd476f1;p=helm.git

diff --git a/helm/hbugs/tutors/sabba.sh b/helm/hbugs/tutors/sabba.sh
index 239cd9909..31c186af4 100755
--- a/helm/hbugs/tutors/sabba.sh
+++ b/helm/hbugs/tutors/sabba.sh
@@ -28,7 +28,7 @@ if [ "$1" = "--help" -o "$1" = "" ]; then
    echo "sabba.sh { start | stop | --help }"
    exit 0
 fi
-. ../../script.sh
+
 ./ls_tutors.ml |
 while read line; do
    tutor=`echo $line | sed 's/\.ml//'`