new getter, logger, and the hell

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

diff --git a/helm/gTopLevel/regtest.ml b/helm/gTopLevel/regtest.ml
index c146683ad4335c1d563311587e0f743662c960a5..aebc746889cf98e18615271c3a9d58b45cd3b81b 100644 (file)
--- 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