patched

[helm.git] / helm / mathql_test / mqtop.ml

diff --git a/helm/mathql_test/mqtop.ml b/helm/mathql_test/mqtop.ml
index 48ffb1e74078f227a3b78e582822fb8ffda168e5..f0e0dc877b6cfd28de4746c93142313f3ee0ad95 100644 (file)
--- 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)