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

diff --git a/helm/mathql_test/mqtop.ml b/helm/mathql_test/mqtop.ml
index 48ffb1e74..f0e0dc877 100644
--- a/helm/mathql_test/mqtop.ml
+++ b/helm/mathql_test/mqtop.ml
@@ -28,13 +28,14 @@
 
 let _ =
    let module U = MQueryUtil in
+   let module F = MQueryIO in
    let t = U.start_time () in
    let ich = Lexing.from_channel stdin in
    let rec aux () =
       let t = U.start_time () in
-      U.text_of_query print_string (U.query_of_text ich) "\n";
-      Printf.printf "mqtop: query: %s\n" (U.stop_time t);
-      flush stdout; aux()
+      F.text_of_query print_string "\n" (F.query_of_text ich); flush stdout;
+      Printf.eprintf "mqtop: query: %s\n" (U.stop_time t);
+      flush stderr; aux()
    in
    begin try aux() with End_of_file -> () end;
-   Printf.printf "mqtop: done: %s\n" (U.stop_time t)
+   Printf.eprintf "mqtop: done: %s\n" (U.stop_time t)