X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=ef2a0826cf52458c3ad38379760db6077dc66b14;hb=8907c4fc162a27e946d6b574102dc3c97075c4e1;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