X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.ml;h=05fbc83bfb113c5b2e12e0bd1e8428080713031d;hb=refs%2Fheads%2Fmaster;hp=2f6e6c7e897c6ae59a0abc26b6bdf4bc10154059;hpb=96e2e786eb8c229d9aa4676a7067fd2f0d2e4da9;p=SXSI%2Fxpathcomp.git

diff --git a/src/logger.ml b/src/logger.ml
index 2f6e6c7..05fbc83 100644
--- a/src/logger.ml
+++ b/src/logger.ml
@@ -44,7 +44,15 @@ let print ppf fmt =
 
 let _verbose = ref false
 let set_verbose b = _verbose := b
-let verbose ppf fmt =
+let msg ppf fmt =
   if !_verbose
   then fprintf ppf fmt
   else ifprintf ppf fmt
+
+let start_msg ppf s =
+  msg ppf "@[%s" s
+
+let end_msg ppf s =
+  msg ppf "@]%s@?" s
+
+let verbose a b = msg a b