X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2Fmqitop.ml;h=0558410520f26f94493898d1fe553632289ee57c;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1b4b387c0195b88723640e103ea9e050982b17a4;hpb=7f6da5a54d2482895c00c8d58c0b2a1bd9d2d379;p=helm.git

diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 1b4b387c0..055841052 100644
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -36,7 +36,7 @@ let _ =
    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:log () in 
    if not (C.connected handle) then begin  
        print_endline "mqitop: no connection"; flush stdout
    end;