From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 24 Jul 2012 15:11:01 +0000 (+0200)
Subject: Change incorrect english in error message.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=ecb38e7d461b5dad30a07d971b07e99b970e90ad

Change incorrect english in error message.
---

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