X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fscript.sh.sample;h=a95140604b51d65584c987d5afeb58ce702928e2;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9ce29ac346342178f495680e513d488c88777c33;hpb=78a646697c09d8a4ff1f04e0e58c48670400e825;p=helm.git

diff --git a/helm/gTopLevel/script.sh.sample b/helm/gTopLevel/script.sh.sample
index 9ce29ac34..a95140604 100755
--- 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