]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/mqgtop.ml
patched
[helm.git] / helm / mathql_test / mqgtop.ml
index d478d59c3d8e6f1267a53e7c517af9e1f039784f..600a92d31b84df6b2f6643e269fba485bbbfd1c3 100644 (file)
@@ -57,8 +57,8 @@ module GU = MQGUtil
 module M  = MQueryMisc
 
 let get_handle () = 
-   C.init (C.flags_of_string ! int_options)
-          (fun s -> print_string s; flush stdout
+   C.init ~flags:(C.flags_of_string ! int_options)
+          ~log:(fun s -> print_string s; flush stdout) (
              
 let issue handle q =
    let mode = [Open_wronly; Open_append; Open_creat; Open_text] in