X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2Fmqgtop.ml;h=bb776474761377a2fca8451524889a9e09b4398f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=7f8e2b85bb8d0bd6a7229741acfb2b22b5fd8543;hpb=c911fe913e84cda448e2f0df20c1e023f6f8043d;p=helm.git

diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index 7f8e2b85b..bb7764747 100644
--- a/helm/mathql_test/mqgtop.ml
+++ b/helm/mathql_test/mqgtop.ml
@@ -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