X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;fp=tree.ml;h=4b7cb5451a0dbef843c75e090252d16cbe4c003d;hb=d046f2b9d8e39b30350399eafe122c30ff61c8c1;hp=8e5dbc72be1d145282b1d01af5425ce0d19de86b;hpb=343ce6fc6c893c69b4820a17b4b6a0be7cd50d87;p=SXSI%2Fxpathcomp.git

diff --git a/tree.ml b/tree.ml
index 8e5dbc7..4b7cb54 100644
--- a/tree.ml
+++ b/tree.ml
@@ -430,7 +430,7 @@ let load ?(sample=64) ?(load_text=true) str =
   let in_c = Unix.in_channel_of_descr fd in
   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 ms = input_line in_c in if ms <> magic_string then failwith ("Invalid index file " ^ ms));
     (let vs = input_line in_c in if vs <> version_string then failwith "Invalid version file");
     let table : (Tag.t,(Ptset.Int.t*Ptset.Int.t*Ptset.Int.t*Ptset.Int.t)) Hashtbl.t =
       Marshal.from_channel in_c 
@@ -450,7 +450,7 @@ let load ?(sample=64) ?(load_text=true) str =
       ntable
   in
   let _ = Printf.eprintf "\nLoading tag table : " in
-  let ntable = time (load_table) () in
+  let ntable = time ~count:0 load_table () in
   ignore(Unix.lseek fd (pos_in in_c) Unix.SEEK_SET);
   let tree = { doc = tree_load fd load_text sample;
 	       ttable = ntable;}