X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2Ffilter_auto.mli;h=699eacf628cf795a0fa692f318e2edee638f3324;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=06909a836ea1aa57c6476f9a92b1d7cf7ad7ef75;hpb=cb54cf0485d2df551ad674ee3beb087ef6f90a3c;p=helm.git

diff --git a/helm/ocaml/tactics/filter_auto.mli b/helm/ocaml/tactics/filter_auto.mli
index 06909a836..699eacf62 100644
--- 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