X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2Fmqtop.ml;h=851a633911b4cf5d4b25e84fe39e1531a2987238;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=48ffb1e74078f227a3b78e582822fb8ffda168e5;hpb=0e74e8e94eada756157addce67e4adeb8dff1feb;p=helm.git

diff --git a/helm/mathql_test/mqtop.ml b/helm/mathql_test/mqtop.ml
index 48ffb1e74..851a63391 100644
--- a/helm/mathql_test/mqtop.ml
+++ b/helm/mathql_test/mqtop.ml
@@ -32,7 +32,7 @@ let _ =
    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";
+      U.text_of_query print_string "\n" (U.query_of_text ich);
       Printf.printf "mqtop: query: %s\n" (U.stop_time t);
       flush stdout; aux()
    in