X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.mli;h=1ee96d502178db3cd873946446ab6ae1029f7f27;hb=e55eb5e1ceafa840dc1d137d7fae5fb06eac3875;hp=4f2dd5c25fc7d20b29a58a9f7bc387b8d93e97d3;hpb=5c37235963ddd5fbfcb6ab86c1f8ccb78d48f0f1;p=SXSI%2Fxpathcomp.git

diff --git a/src/logger.mli b/src/logger.mli
index 4f2dd5c..1ee96d5 100644
--- a/src/logger.mli
+++ b/src/logger.mli
@@ -11,3 +11,5 @@ val log : t -> level -> ('a, Format.formatter, unit) format -> 'a
 val print : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
 val available : unit -> string list
 
+val set_verbose : bool -> unit
+val verbose : Format.formatter -> ('a, Format.formatter, unit) format -> 'a