X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=uid.ml;h=25b9e15fc64f098517d0e4e152ae180aa2a47f0c;hb=a6a05531716a001b369e018c9d2c87ce532ef163;hp=bb0fb180724e7fa2225f4fcb900d39453c0e1944;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;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"