X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=finiteCofinite.mli;h=b0dccc828a02d74ee5a0eecc5348fb4c611b2fa2;hb=a223af3254fb51c279cfbccdc18c59484fdca74e;hp=b8d8c1d7ddc96314d7640d426ac5cfdff9bb2dd8;hpb=6a7025fee3c050eff58baa536a14d80baf5c1b87;p=SXSI%2Fxpathcomp.git

diff --git a/finiteCofinite.mli b/finiteCofinite.mli
index b8d8c1d..b0dccc8 100644
--- a/finiteCofinite.mli
+++ b/finiteCofinite.mli
@@ -33,7 +33,7 @@ module type S =
     val choose : t -> elt
     val hash : t -> int
     val equal : t -> t -> bool
-    val uid : t -> int
+    val uid : t -> Uid.t
     val positive : t -> set
     val negative : t -> set
     val inj_positive : set -> t