]> matita.cs.unibo.it Git - helm.git/commitdiff
patch
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Apr 2003 12:03:07 +0000 (12:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Apr 2003 12:03:07 +0000 (12:03 +0000)
helm/ocaml/mathql_test/mqitop.ml

index fc206c68d908a579860b4c0808e54c673ebbaeba..6031fedf2e302d05b68dd8d76874c5b404dc3cc8 100644 (file)
@@ -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()