batchParser and regtest patched to avoid a non encapsulated connection to the mathql...

[helm.git] / helm / gTopLevel / regtest.ml

diff --git a/helm/gTopLevel/regtest.ml b/helm/gTopLevel/regtest.ml
index aebc746889cf98e18615271c3a9d58b45cd3b81b..a1ecd302f12525c8c96857d7dfdeb526d539a328 100644 (file)
--- a/helm/gTopLevel/regtest.ml
+++ b/helm/gTopLevel/regtest.ml
@@ -259,7 +259,8 @@ let main generate dump fnames tryvars varsprefix =
   end
 
 let _ =
- Helm_registry.load_from "triciclo.conf.xml";
+
+ Helm_registry.load_from "gTopLevel.conf.xml";
  HelmLogger.register_log_callback
   (fun ?(append_NL = true) msg ->
     (if append_NL then prerr_endline else prerr_string)