X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2Fhashtbl_equiv.mli;h=d2608b86287a815fe33087fb6f1ed386a308fc5d;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=723e6831beb3a5bbbe31825b91d36623891a834e;hpb=59a077151336a0e73804572b52fb757a0e7f6a97;p=helm.git

diff --git a/helm/ocaml/tactics/hashtbl_equiv.mli b/helm/ocaml/tactics/hashtbl_equiv.mli
index 723e6831b..d2608b862 100644
--- a/helm/ocaml/tactics/hashtbl_equiv.mli
+++ b/helm/ocaml/tactics/hashtbl_equiv.mli
@@ -34,5 +34,5 @@
 (*********************************************************************)
 
 
-val not_a_duplicate : string -> bool
+val not_a_duplicate : UriManager.uri -> bool