X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmain.ml;h=909a0b87ea76e4e3ca963a61670d293bdb3e4eab;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=00d5ab93ec9e953163dfb03b0e9757e936564be0;hpb=1e6a2cc1fe6d69d45a4605aaf2ee6821a610a231;p=SXSI%2Fxpathcomp.git diff --git a/src/main.ml b/src/main.ml index 00d5ab9..909a0b8 100644 --- a/src/main.ml +++ b/src/main.ml @@ -88,7 +88,7 @@ let _ = if Filename.check_suffix !Config.input_file ".srx" then Utils.time - ~msg:"Loading file" + ~msg:"Loading Index file" (Tree.load ~sample:!Config.sample_factor ~load_text:(not !Config.disable_text_collection)) @@ -96,7 +96,7 @@ let _ = else let v = Utils.time - ~msg:"Parsing document" + ~msg:"Loading XML file" (Tree.parse_xml_uri) !Config.input_file in