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

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