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

diff --git a/include/debug.ml b/include/debug.ml
new file mode 100644
index 0000000..5a51787
--- /dev/null
+++ b/include/debug.ml
@@ -0,0 +1,13 @@
+IFNDEF DEBUG__ML__
+THEN
+DEFINE DEBUG__ML__
+
+IFDEF DEBUG
+THEN
+  DEFINE DBG(e) = (e)
+ELSE
+  DEFINE DBG(e) = ()
+END
+
+
+END (* IFNDEF DEBUG__ML__ *)