MathQL 1.3 ready for use

[helm.git] / helm / ocaml / mathql_interpreter / mQIUtil.ml

diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.ml b/helm/ocaml/mathql_interpreter/mQIUtil.ml
index 537e32d77e9cddd02be0c91bcff8dbffb2a554d1..4d74ef1202973a3f871a9f28852f86b0ba9add89 100644 (file)
--- 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)