X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Fdebug.ml;h=1fd4f8b5179ff13738270c468a6c17fdae2ae39a;hb=129708eaa5983b9463f96b714c00468602339b0a;hp=5a51787ab34f1b2ea8bbcb72c8460180ec9d991e;hpb=969febf12344a3fe3bf793a323b2e88f7b20ebae;p=tatoo.git

diff --git a/include/debug.ml b/include/debug.ml
index 5a51787..1fd4f8b 100644
--- a/include/debug.ml
+++ b/include/debug.ml
@@ -4,9 +4,11 @@ DEFINE DEBUG__ML__
 
 IFDEF DEBUG
 THEN
-  DEFINE DBG(e) = (e)
+  let msg x = Logger.msg `DEBUG x
+  DEFINE DEBUG(e) = (e)
 ELSE
-  DEFINE DBG(e) = ()
+  let msg x = ()
+  DEFINE DEBUG(e) = ()
 END