X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Flog.ml;fp=include%2Flog.ml;h=3180901fb99bbf98b223f293483bed085ada36f4;hb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;hp=b9ad225ee69ff9ecd7c8986c5c885d15bb68d813;hpb=468560acb04b8936936080e81152d926c251df30;p=SXSI%2Fxpathcomp.git

diff --git a/include/log.ml b/include/log.ml
index b9ad225..3180901 100644
--- a/include/log.ml
+++ b/include/log.ml
@@ -1,24 +1,17 @@
 IFNDEF LOG__ML__
 THEN
 DEFINE LOG__ML__
-let __ x =
-  ignore (Format.flush_str_formatter());
-  Format.kfprintf
-    (fun _ -> Format.flush_str_formatter())
-    Format.str_formatter x
-;;
+let __ x = Logger.log x
+(*  Format.fprintf !Logger.logger_output x *)
+;; 
 IFNDEF NLOG
 THEN
 
-DEFINE LOG(t, l, r) =
-  (let __log__t = t in
-   let __log__l = l in
-   if __log__l <= Logger.level __log__t then
-     Logger.log __log__t __log__l (r))
+DEFINE LOG(e) = (e)
 
 ELSE
 
-DEFINE LOG(t, l, r) = ()
+DEFINE LOG(e) = ()
 
 END