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