* hbugs moved in ocaml

diff --git a/helm/gTopLevel/script.sh.sample b/helm/gTopLevel/script.sh.sample
index 9ce29ac346342178f495680e513d488c88777c33..a95140604b51d65584c987d5afeb58ce702928e2 100755 (executable)
--- a/helm/gTopLevel/script.sh.sample
+++ b/helm/gTopLevel/script.sh.sample
@@ -1,4 +1,4 @@
 #!/bin/bash
 
 #/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:
-export OCAMLPATH=/home/sacerdot/miohelm/helm/ocaml/METAS:/home/sacerdot/miohelm/helm/hbugs/meta
+export OCAMLPATH=/home/sacerdot/miohelm/helm/ocaml/METAS