X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2Fmqitop.ml;h=efac469a88cb41dff207385a66f4f0a5f03c3c2a;hb=c911fe913e84cda448e2f0df20c1e023f6f8043d;hp=7dd43888c0eb4165501fee6d532e81c55272097a;hpb=0e74e8e94eada756157addce67e4adeb8dff1feb;p=helm.git

diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 7dd43888c..efac469a8 100644
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -31,11 +31,12 @@ 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
    let log s = print_string s; flush stdout in
-   let handle = C.init (C.flags_of_string flags) log in 
+   let handle = C.init ~flags:(C.flags_of_string flags) log in 
    if not (C.connected handle) then begin  
        print_endline "mqitop: no connection"; flush stdout
    end;