]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/mqitop.ml
ocaml 3.09 transition
[helm.git] / helm / mathql_test / mqitop.ml
index efac469a88cb41dff207385a66f4f0a5f03c3c2a..0558410520f26f94493898d1fe553632289ee57c 100644 (file)
@@ -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 ~flags:(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;