X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.ml;h=87e75062834dc09b2664499b39c8edd0c9977cc1;hb=d046f2b9d8e39b30350399eafe122c30ff61c8c1;hp=68f7e2eda8c9a78e30deeb005cf299b606712ceb;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.ml b/ptset.ml
index 68f7e2e..87e7506 100644
--- a/ptset.ml
+++ b/ptset.ml
@@ -19,6 +19,8 @@ sig
   val from_list : elt list -> t 
   val make : data -> t
   val node : t -> data
+    
+  val with_id : Uid.t -> t
 end
 
 module Make ( H : Hcons.SA ) : S with type elt = H.t =
@@ -374,7 +376,7 @@ let rec uncons n = match HNode.node n with
    
 let from_list l = List.fold_left (fun acc e -> add e acc) empty l
 
-
+let with_id = HNode.with_id
 end
 
 module Int : sig
@@ -390,7 +392,7 @@ struct
 			external equal : t -> t -> bool = "%eq"
 			external make : t -> int = "%identity"
 			external node : t -> int = "%identity"
-			  
+			external with_id : Uid.t -> t = "%identity"
 		 end
 	       ) 
   let print ppf s =