X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.mli;h=217ba8c01ed3171010886215932c3e450e0ff958;hb=91db309a46f8b6f100a36abbc568deec10a8d1df;hp=38ca8f380240af2f81b735d28bb71c2dd0b67bf4;hpb=d59d2f93956bcbe4dd7bb3407e3c53de8b66c003;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