an optimization was inserted

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

diff --git a/helm/ocaml/mathql/avsUtil.mli b/helm/ocaml/mathql/avsUtil.mli
index ac8888c171b57dbedc3b097e4f063bf8ac87dee8..886b6ca6c58bde2b55143f7f39808bee8383ecb8 100644 (file)
--- a/helm/ocaml/mathql/avsUtil.mli
+++ b/helm/ocaml/mathql/avsUtil.mli
@@ -45,8 +45,6 @@ val make_x        : string -> MathQL.group list -> MathQL.result
 
 val iter          : ('a -> MathQL.result) -> 'a list -> MathQL.result
 
-val append_iter   : ('a -> MathQL.result) -> 'a list -> MathQL.result
-
 val count         : MathQL.result -> int
 
 val avs_of_bool   : bool -> MathQL.result