From d48c8c8358c9dc4083254d847d7c4ee13d47e6ab Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Feb 2004 16:34:25 +0000
Subject: [PATCH] ...

---
 helm/gTopLevel/testlibrary.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/helm/gTopLevel/testlibrary.ml b/helm/gTopLevel/testlibrary.ml
index fc5fa2e79..6c76a6b2d 100644
--- a/helm/gTopLevel/testlibrary.ml
+++ b/helm/gTopLevel/testlibrary.ml
@@ -1,6 +1,8 @@
 
 open Printf
 
+Helm_registry.load_from "gTopLevel.conf.xml";;
+
 let mqi_debug_fun = ignore
 let mqi_flags = []
 let mqi_handle = MQIConn.init ~flags:mqi_flags ~log:mqi_debug_fun ()
@@ -130,7 +132,6 @@ let do_file status fname =
       fname (Printexc.to_string exn)
 
 let _ =
-  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