Modified filtering function

[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 06909a836ea1aa57c6476f9a92b1d7cf7ad7ef75..699eacf628cf795a0fa692f318e2edee638f3324 100644 (file)
--- a/helm/ocaml/tactics/filter_auto.mli
+++ b/helm/ocaml/tactics/filter_auto.mli
@@ -36,4 +36,5 @@ val filter_uris:
        Mysql.dbd ->
        NewConstraints.StringSet.t ->
        (int * string) list ->
+       string ->
        (int * string) list