X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fregtest.ml;h=aebc746889cf98e18615271c3a9d58b45cd3b81b;hb=60ea1e5cd7494c7453993dad5b819cd631770308;hp=c146683ad4335c1d563311587e0f743662c960a5;hpb=edb6ab182b915ebc8b2810574b0a87bdab39d051;p=helm.git

diff --git a/helm/gTopLevel/regtest.ml b/helm/gTopLevel/regtest.ml
index c146683ad..aebc74688 100644
--- a/helm/gTopLevel/regtest.ml
+++ b/helm/gTopLevel/regtest.ml
@@ -259,6 +259,11 @@ let main generate dump fnames tryvars varsprefix =
   end
 
 let _ =
+ Helm_registry.load_from "triciclo.conf.xml";
+ HelmLogger.register_log_callback
+  (fun ?(append_NL = true) msg ->
+    (if append_NL then prerr_endline else prerr_string)
+      (HelmLogger.string_of_html_msg msg));
  let fnames = ref [] in
  let gen = ref false in
  let tryvars = ref false in