ported debian stuff to ocaml 3.08

[helm.git] / helm / ocaml / tactics / filter_auto.mli

diff --git a/helm/ocaml/tactics/filter_auto.mli b/helm/ocaml/tactics/filter_auto.mli
index 44dfd32a9d2352095a50e64589b3685f2ef4bf46..699eacf628cf795a0fa692f318e2edee638f3324 100644 (file)
--- a/helm/ocaml/tactics/filter_auto.mli
+++ b/helm/ocaml/tactics/filter_auto.mli
@@ -23,7 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
-
+val power:
+ int -> int -> int 
 
 val filter_new_constants: 
        Mysql.dbd ->
@@ -31,3 +32,9 @@ val filter_new_constants:
        int * string ->
        bool
 
+val filter_uris:
+       Mysql.dbd ->
+       NewConstraints.StringSet.t ->
+       (int * string) list ->
+       string ->
+       (int * string) list