X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.ml;h=4d74ef1202973a3f871a9f28852f86b0ba9add89;hb=91db309a46f8b6f100a36abbc568deec10a8d1df;hp=537e32d77e9cddd02be0c91bcff8dbffb2a554d1;hpb=d59d2f93956bcbe4dd7bb3407e3c53de8b66c003;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.ml b/helm/ocaml/mathql_interpreter/mQIUtil.ml
index 537e32d77..4d74ef120 100644
--- a/helm/ocaml/mathql_interpreter/mQIUtil.ml
+++ b/helm/ocaml/mathql_interpreter/mQIUtil.ml
@@ -151,15 +151,3 @@ let rec set ap = function
    | []                                  -> [ap]
    | head :: tail when fst head = fst ap -> ap :: tail
    | head :: tail                        -> head :: set ap tail
-
-(* time handling  ***********************************************************)
-
-type time = float * float 
-
-let start_time () =
-   (Sys.time (), Unix.time ())
-   
-let stop_time (s0, u0) =
-   let s1 = Sys.time () in
-   let u1 = Unix.time () in
-   Printf.sprintf "%.2fs,%.2fs" (s1 -. s0) (u1 -. u0)