X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2Fmqitop.ml;h=6031fedf2e302d05b68dd8d76874c5b404dc3cc8;hb=494b643b84826b1030b63fa1c224e52842a76e4b;hp=fc206c68d908a579860b4c0808e54c673ebbaeba;hpb=03dee221bd1f2c9a6e7f74d9abf88be14aac7763;p=helm.git

diff --git a/helm/ocaml/mathql_test/mqitop.ml b/helm/ocaml/mathql_test/mqitop.ml
index fc206c68d..6031fedf2 100644
--- a/helm/ocaml/mathql_test/mqitop.ml
+++ b/helm/ocaml/mathql_test/mqitop.ml
@@ -13,6 +13,7 @@ let _ =
    let rec aux () =
       let t = X.start_time () in
       let r = I.execute flags (U.query_of_text ich) in
+      U.text_of_result print_string r "\n";
       Printf.printf "mqitop: query: %s,%i\n" (X.stop_time t) (List.length r);
       flush stdout; aux()