X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=ef2a0826cf52458c3ad38379760db6077dc66b14;hb=43501e355e50f60c34999cefe9d44e3678dfb056;hp=31e2f79b2c5290f84fb1a857284e5bf440ebc852;hpb=b29432ae3b0802c9ea002da6b2ef43cc9998c90c;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.ml b/src/tree.ml
index 31e2f79..ef2a082 100644
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -809,3 +809,6 @@ Largest tag id: %i@\n@?"
 ;;
 
 *)
+
+type tree_pointer = tree
+let get_tree_pointer x = x.doc