From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 20 May 2004 12:10:18 +0000 (+0000)
Subject: * hbugs moved in ocaml
X-Git-Tag: V_0_0_9~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f28f4c2622c2b0af3cb3bbacb9cc66f9ba6d5386;p=helm.git

* hbugs moved in ocaml
---

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