From 29c4c207d66c4643e642abc8f70efd40aadc499d Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 18 Feb 2004 11:33:13 +0000
Subject: [PATCH] batchParser and regtest patched to avoid a non encapsulated
 connection to the mathql interpreter

---
 helm/gTopLevel/batchParser.ml | 4 ++--
 helm/gTopLevel/regtest.ml     | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/helm/gTopLevel/batchParser.ml b/helm/gTopLevel/batchParser.ml
index 61220ecce..1e301eaf9 100644
--- a/helm/gTopLevel/batchParser.ml
+++ b/helm/gTopLevel/batchParser.ml
@@ -52,9 +52,9 @@ module Disambiguate' = DisambiguatingParser.Make (DisambiguateCallbacks)
 
 let mqi_debug_fun = ignore
 let mqi_flags = []
-let mqi_handle = MQIConn.init mqi_flags mqi_debug_fun
 
 let parse ?(uri_pred = constants_only) =
+  let mqi_handle = MQIConn.init mqi_flags mqi_debug_fun in
   uri_predicate := uri_pred;
   let empty_environment =
     DisambiguatingParser.EnvironmentP3.of_string
@@ -67,7 +67,7 @@ let parse ?(uri_pred = constants_only) =
       Disambiguate'.disambiguate_term
         mqi_handle empty_context empty_metasenv input empty_environment
     in
-    (metasenv, term)
+    MQIConn.close mqi_handle; (metasenv, term)
 
 let parse_pp ?uri_pred input = CicPp.ppterm (snd (parse ?uri_pred input))
 
diff --git a/helm/gTopLevel/regtest.ml b/helm/gTopLevel/regtest.ml
index aebc74688..a1ecd302f 100644
--- 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)
-- 
2.39.2