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