Make the time function re-entrant.

[SXSI/xpathcomp.git] / src / main.ml

diff --git a/src/main.ml b/src/main.ml
index 00d5ab9..909a0b8 100644 (file)
--- 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