From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 23 Apr 2003 12:03:07 +0000 (+0000)
Subject: patch
X-Git-Tag: before_refactoring~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=494b643b84826b1030b63fa1c224e52842a76e4b;p=helm.git

patch
---

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()