From f28f4c2622c2b0af3cb3bbacb9cc66f9ba6d5386 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Thu, 20 May 2004 12:10:18 +0000 Subject: [PATCH] * hbugs moved in ocaml --- helm/gTopLevel/script.sh.sample | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2