X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2Fmqtop.ml;h=48ffb1e74078f227a3b78e582822fb8ffda168e5;hb=91db309a46f8b6f100a36abbc568deec10a8d1df;hp=4b8da7f4915b1bbcdb74b9f813758c9451690354;hpb=02f8929bd58c6408545b550bcad0edb8702ca933;p=helm.git

diff --git a/helm/ocaml/mathql_test/mqtop.ml b/helm/ocaml/mathql_test/mqtop.ml
index 4b8da7f49..48ffb1e74 100644
--- 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)