MathQL 1.3 ready for use

[helm.git] / helm / ocaml / mathql_test / mqtop.ml

diff --git a/helm/ocaml/mathql_test/mqtop.ml b/helm/ocaml/mathql_test/mqtop.ml
index 4b8da7f4915b1bbcdb74b9f813758c9451690354..48ffb1e74078f227a3b78e582822fb8ffda168e5 100644 (file)
--- a/helm/ocaml/mathql_test/mqtop.ml
+++ b/helm/ocaml/mathql_test/mqtop.ml
@@ -28,14 +28,13 @@
 
 let _ =
    let module U = MQueryUtil in
-   let module X = MQueryMisc in
-   let t = X.start_time () in
+   let t = U.start_time () in
    let ich = Lexing.from_channel stdin in
    let rec aux () =
-      let t = X.start_time () in
+      let t = U.start_time () in
       U.text_of_query print_string (U.query_of_text ich) "\n";
-      Printf.printf "mqtop: query: %s\n" (X.stop_time t);
+      Printf.printf "mqtop: query: %s\n" (U.stop_time t);
       flush stdout; aux()
    in
    begin try aux() with End_of_file -> () end;
-   Printf.printf "mqtop: done: %s\n" (X.stop_time t)
+   Printf.printf "mqtop: done: %s\n" (U.stop_time t)