X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=debug.ml;h=7ae4e753772efc1ccf76bbf699464b91fcea859f;hb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;hp=39b4fcfb79d499ef7b476ea72495e592609bf1b2;hpb=09870a49122b3d7048422818dbb0a038513b4d14;p=SXSI%2Fxpathcomp.git

diff --git a/debug.ml b/debug.ml
index 39b4fcf..7ae4e75 100644
--- a/debug.ml
+++ b/debug.ml
@@ -18,10 +18,12 @@ THEN
 module Loc = Camlp4.PreCast.Loc
 
 DEFINE D_IGNORE_(e1,e2) = (let () = e1 in ();e2)
+DEFINE D_IF_(e1,e2) = e1
 
 ELSE
 DEFINE D_IGNORE_(e1,e2) = (e2)
 
+DEFINE D_IF_(e1,e2) = e2
 
 END (* IFDEF DEBUG *)