patched

[helm.git] / helm / mathql_test / mqitop.ml

diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 7dd43888c0eb4165501fee6d532e81c55272097a..1b4b387c0195b88723640e103ea9e050982b17a4 100644 (file)
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -31,6 +31,7 @@ module I = MQueryInterpreter
 module C = MQIConn
 
 let _ =
+   Helm_registry.load_from "/home/fguidi/miohelm/gTopLevel.conf.xml";
    let t = U.start_time () in
    let ich = Lexing.from_channel stdin in
    let flags = if Array.length Sys.argv >= 2 then Sys.argv.(1) else "" in