X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.mli;fp=src%2Flogger.mli;h=15b28e9f64a753ab35d6c1e21774bd6727b16d9b;hb=b146572b9707292dbc1eacf5fb67d84271cafbba;hp=1ee96d502178db3cd873946446ab6ae1029f7f27;hpb=96e2e786eb8c229d9aa4676a7067fd2f0d2e4da9;p=SXSI%2Fxpathcomp.git

diff --git a/src/logger.mli b/src/logger.mli
index 1ee96d5..15b28e9 100644
--- a/src/logger.mli
+++ b/src/logger.mli
@@ -13,3 +13,7 @@ val available : unit -> string list
 
 val set_verbose : bool -> unit
 val verbose : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
+
+val start_msg : Format.formatter -> string -> unit
+val end_msg : Format.formatter -> string -> unit
+val msg : Format.formatter -> ('a, Format.formatter, unit) format -> 'a