]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/mqtop.ml
ocaml 3.09 transition
[helm.git] / helm / mathql_test / mqtop.ml
index 48ffb1e74078f227a3b78e582822fb8ffda168e5..851a633911b4cf5d4b25e84fe39e1531a2987238 100644 (file)
@@ -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