X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.mli;h=217ba8c01ed3171010886215932c3e450e0ff958;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=38ca8f380240af2f81b735d28bb71c2dd0b67bf4;hpb=48b9bb5e9504aba97cff28a9d7e2797feb42972e;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/ocaml/mathql_interpreter/mQIUtil.mli
index 38ca8f380..217ba8c01 100644
--- a/helm/ocaml/mathql_interpreter/mQIUtil.mli
+++ b/helm/ocaml/mathql_interpreter/mQIUtil.mli
@@ -73,9 +73,3 @@ val lt            : MathQL.value -> MathQL.value -> MathQL.value
 val align         : string -> string -> MathQL.value
 
 val set           : string * 'a -> (string * 'a) list -> (string * 'a) list
-
-type time  
-
-val start_time    : unit -> time
-
-val stop_time     : time -> string