X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FavsUtil.mli;h=886b6ca6c58bde2b55143f7f39808bee8383ecb8;hb=17c63a69e22b8186e14dd4d8098574b566fedf14;hp=ac8888c171b57dbedc3b097e4f063bf8ac87dee8;hpb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;p=helm.git

diff --git a/helm/ocaml/mathql/avsUtil.mli b/helm/ocaml/mathql/avsUtil.mli
index ac8888c17..886b6ca6c 100644
--- 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