]> 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 7f8e2b85bb8d0bd6a7229741acfb2b22b5fd8543..bb776474761377a2fca8451524889a9e09b4398f 100644 (file)
@@ -53,7 +53,7 @@ module GU = MQGUtil
 
 let get_handle () = 
    C.init ~flags:(C.flags_of_string ! int_options)
-          (fun s -> print_string s; flush stdout
+          ~log:(fun s -> print_string s; flush stdout) (
              
 let issue handle q =
    let mode = [Open_wronly; Open_append; Open_creat; Open_text] in