X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.mli;h=635fb660f5c52410b0bebe626a524c2e072b5851;hb=da16c76907f567b9aa4d3d026f6ab309006b3d86;hp=fbfb3f793f8e5f33fc5b39e0b3567b00b650f928;hpb=5bef9ac5a9bfe07b11ce0e44fab51ea4b6eb4057;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