X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=uid.ml;fp=uid.ml;h=25b9e15fc64f098517d0e4e152ae180aa2a47f0c;hb=92fa1dfd894ed2903541d665bd40919ae154f285;hp=bb0fb180724e7fa2225f4fcb900d39453c0e1944;hpb=53691cf70378877961b99828f006399801ad4968;p=SXSI%2Fxpathcomp.git

diff --git a/uid.ml b/uid.ml
index bb0fb18..25b9e15 100644
--- a/uid.ml
+++ b/uid.ml
@@ -1,8 +1,10 @@
 type t = int
 
-let _id = ref ~-1
-
-let make () = incr _id; !_id
+let make_maker () = 
+  let _id = ref ~-1 in
+  fun () -> incr _id;!_id
 
 external to_int : t -> int = "%identity"
 
+
+external of_int : int -> t= "%identity"