ocaml 3.09 transition

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

diff --git a/helm/ocaml/tactics/hashtbl_equiv.mli b/helm/ocaml/tactics/hashtbl_equiv.mli
index 723e6831beb3a5bbbe31825b91d36623891a834e..d2608b86287a815fe33087fb6f1ed386a308fc5d 100644 (file)
--- 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