X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.mli;fp=helm%2Focaml%2Fmathql%2FmQueryUtil.mli;h=635fb660f5c52410b0bebe626a524c2e072b5851;hb=a32bcc14672dae13e8bb725e54c819958dfdb677;hp=fbfb3f793f8e5f33fc5b39e0b3567b00b650f928;hpb=b11baedbb4708305eb9a290dc5846e7c62e310f4;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryUtil.mli b/helm/ocaml/mathql/mQueryUtil.mli
index fbfb3f793..635fb660f 100644
--- a/helm/ocaml/mathql/mQueryUtil.mli
+++ b/helm/ocaml/mathql/mQueryUtil.mli
@@ -43,3 +43,5 @@ val list_meet : ('a -> 'a -> 'a comparison) -> 'a list -> 'a list -> 'a list
 val flat_list : ('a -> unit) -> ('b -> unit) -> 'a -> 'b list -> unit
 
 val add_assoc : 'a * 'b -> ('a * 'b) list -> ('a * 'b) list
+
+val int_of_string : string -> int