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

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