From ecb38e7d461b5dad30a07d971b07e99b970e90ad Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Tue, 24 Jul 2012 17:11:01 +0200 Subject: [PATCH] Change incorrect english in error message. --- src/tree.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.17.1