Change the logging infrastructure:

[SXSI/xpathcomp.git] / src / logger.mli

diff --git a/src/logger.mli b/src/logger.mli
index a9c827d..4f2dd5c 100644 (file)
--- a/src/logger.mli
+++ b/src/logger.mli
@@ -6,6 +6,8 @@ val level : t -> level
 val activate : t -> level -> unit
 val deactivate : t -> unit
 val set_output : Format.formatter -> unit
-val log : t -> level -> string -> unit
 
+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
+