X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=ef2a0826cf52458c3ad38379760db6077dc66b14;hb=8907c4fc162a27e946d6b574102dc3c97075c4e1;hp=e729034eb705774684a7b97f9ab35b66fcf65ea3;hpb=e1ae19bec9b516d8a531790bba6fb231c17c9862;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.ml b/src/tree.ml
index e729034..ef2a082 100644
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -633,7 +633,7 @@ let load ?(sample=64) ?(load_text=true) str =
   let _ = set_binary_mode_in in_c true in
   let load_table () =
     (let ms = input_line in_c in if ms <> magic_string then failwith "Invalid index file");
-    (let vs = input_line in_c in if vs <> version_string then failwith "Invalid version file");
+    (let vs = input_line in_c in if vs <> version_string then failwith "Unsupported index format");
     let c = load_tag_table in_c in
     let s = load_tag_table in_c in
     let d = load_tag_table in_c in
@@ -809,3 +809,6 @@ Largest tag id: %i@\n@?"
 ;;
 
 *)
+
+type tree_pointer = tree
+let get_tree_pointer x = x.doc