X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2Fmqitop.ml;h=aca13b9cb5cf0522bd086fb45db8fcfd34f81d93;hb=786284e9dfb25a31aad2161d59cdc5f36657e94a;hp=7dd43888c0eb4165501fee6d532e81c55272097a;hpb=5bef9ac5a9bfe07b11ce0e44fab51ea4b6eb4057;p=helm.git

diff --git a/helm/mathql_test/mqitop.ml b/helm/mathql_test/mqitop.ml
index 7dd43888c..aca13b9cb 100644
--- a/helm/mathql_test/mqitop.ml
+++ b/helm/mathql_test/mqitop.ml
@@ -29,6 +29,7 @@
 module U = MQueryUtil
 module I = MQueryInterpreter
 module C = MQIConn
+module F = MQueryIO
 
 let _ =
    let t = U.start_time () in
@@ -41,12 +42,12 @@ let _ =
    end;
    let rec aux () =
       let t = U.start_time () in
-      let r = I.execute handle (U.query_of_text ich) in
-(*    U.text_of_result log r "\n";
-*)    Printf.printf "mqitop: query: %s,%i\n" (U.stop_time t) (List.length r);
-      flush stdout; aux()
+      let r = I.execute handle (F.query_of_text ich) in
+(*    F.text_of_result log r "\n";
+*)    Printf.eprintf "mqitop: query: %s,%i\n" (U.stop_time t) (List.length r);
+      flush stderr; aux()
       
    in
    begin try aux() with End_of_file -> () end;
    C.close handle;
-   Printf.printf "mqitop: done: %s\n" (U.stop_time t)
+   Printf.eprintf "mqitop: done: %s\n" (U.stop_time t)