X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=ef2a0826cf52458c3ad38379760db6077dc66b14;hb=8f5b2f0c7e95245c1b7f4cc18aa137ba8e784166;hp=31e2f79b2c5290f84fb1a857284e5bf440ebc852;hpb=852a21ccb090cc11e996d7bae3322882cc694e3e;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