Set of Set of uri added.

[helm.git] / components / metadata / metadataConstraints.mli

diff --git a/components/metadata/metadataConstraints.mli b/components/metadata/metadataConstraints.mli
index 63757ae47c772861dba3e141051c6dfa0c2c5b38..5b13f57a1da0c315baa8c51eaca7481fa6043da7 100644 (file)
--- a/components/metadata/metadataConstraints.mli
+++ b/components/metadata/metadataConstraints.mli
@@ -24,7 +24,7 @@
  *)
 
 module UriManagerSet : Set.S with type elt = UriManager.uri
-
+module SetSet: Set.S with type elt = UriManagerSet.t
 
   (** @return <main, constants>
   * main: constant in main position and, for polymorphic constants, type