X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Ftree.ml;fp=src%2Ftree.ml;h=31e2f79b2c5290f84fb1a857284e5bf440ebc852;hb=ecb38e7d461b5dad30a07d971b07e99b970e90ad;hp=e729034eb705774684a7b97f9ab35b66fcf65ea3;hpb=2e74356449e2ea3ab50ccb96ec81e4cf657bae5f;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.ml b/src/tree.ml
index e729034..31e2f79 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