while construction inserted

[helm.git] / helm / ocaml / mathql / mQueryUtil.mli

diff --git a/helm/ocaml/mathql/mQueryUtil.mli b/helm/ocaml/mathql/mQueryUtil.mli
index fbfb3f793f8e5f33fc5b39e0b3567b00b650f928..635fb660f5c52410b0bebe626a524c2e072b5851 100644 (file)
--- 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