From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 24 Feb 2004 16:25:12 +0000 (+0000)
Subject: patched
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=1d224f3b98d9a2965014071ffa01d16e2497455d

patched
---

diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index d478d59c3..600a92d31 100644
--- a/helm/mathql_test/mqgtop.ml
+++ b/helm/mathql_test/mqgtop.ml
@@ -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
diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 017247220..880d9605b 100644
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -41,7 +41,9 @@ 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_if_connected (C.flags_of_string flags) log in 
+   let handle = 
+      C.init_if_connected ~flags:(C.flags_of_string flags) ~log:log ()
+   in 
    if not (C.connected handle) then begin  
        print_endline "mqitop: no connection"; flush stdout
    end;