Fix typo in regression testing script

scripts/regressiontests.sh

@@ -53,12 +53,12 @@ cd ./testcases/regression
 #done
 
 #HOL4 regression tests
-$HOLDIR/bin/Holmake heap
+Holmake heap
 
 for fname in ./*.sml; do
     FILEPRE=${fname/Script.sml/}
     FILENAME=$FILEPRE
-    $HOLDIR/bin/Holmake ${fname/Script.sml/Theory.sig}
+    Holmake ${fname/Script.sml/Theory.sig}
     if [ $? -eq 0 ]
     then
        echo "Successfully checked $FILENAME"