X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;h=b1b1d15cb084e050a85d8b11626c998d14ee2935;hb=609094fe14ca90cd5417ee22de621f76d1d0ec94;hp=86f7e5b4306252a2c14717804824d515e789de6d;hpb=95310b9c1cf213f4ba28cab981400678d399717a;p=SXSI%2Fxpathcomp.git

diff --git a/tree.ml b/tree.ml
index 86f7e5b..b1b1d15 100644
--- a/tree.ml
+++ b/tree.ml
@@ -507,13 +507,16 @@ let id t n = tree_node_xml_id t.doc n
 	
 let tag t n = if n == nil then Tag.nullt else tree_tag t.doc n
 
-let tagged_descendant t tag = (); fun n -> tree_tagged_descendant t.doc n tag 
+let tagged_descendant t tag = 
+  let doc = t.doc in (); fun n -> tree_tagged_descendant doc n tag 
 
 let select_descendant t = fun ts -> 
   let v = (ptset_to_vector ts) in ();
     fun n -> tree_select_descendant t.doc n v
 
-let tagged_following_below  t tag = (); fun n ctx -> tree_tagged_following_below t.doc n tag ctx
+let tagged_following_below  t tag =
+  let doc = t.doc in
+  (); fun n ctx -> tree_tagged_following_below doc n tag ctx
 
 let select_following_below t = fun ts ->
   let v = (ptset_to_vector ts) in ();