X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2Favs.ml;h=7b092a93557c735221ed5f0cec1abb960fcee468;hb=17c63a69e22b8186e14dd4d8098574b566fedf14;hp=485354037ae949b6b47ceac26d68f06db1d66476;hpb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;p=helm.git

diff --git a/helm/ocaml/mathql/avs.ml b/helm/ocaml/mathql/avs.ml
index 485354037..7b092a935 100644
--- a/helm/ocaml/mathql/avs.ml
+++ b/helm/ocaml/mathql/avs.ml
@@ -76,10 +76,10 @@ module type Type = sig
 
    val diff       : avs -> avs -> avs
 
-   val append     : avs -> avs -> avs
-
    val d_union    : avs -> avs -> avs (* with attr. distribution *)
 
    val peek       : avs -> peek_t
 
+   val optimize   : avs -> avs
+
 end