]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/mqgtop.ml
ocaml 3.09 transition
[helm.git] / helm / mathql_test / mqgtop.ml
index cc40f33691c029fff2f2c77725c566238b6d6984..bb776474761377a2fca8451524889a9e09b4398f 100644 (file)
@@ -52,8 +52,8 @@ module C1 = CGMatchConclusion
 module GU = MQGUtil
 
 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