an optimization was inserted

[helm.git] / helm / ocaml / mathql / avs.ml

diff --git a/helm/ocaml/mathql/avs.ml b/helm/ocaml/mathql/avs.ml
index 485354037ae949b6b47ceac26d68f06db1d66476..7b092a93557c735221ed5f0cec1abb960fcee468 100644 (file)
--- 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