X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=debug.ml;h=39b4fcfb79d499ef7b476ea72495e592609bf1b2;hb=8b3283c30149065d761e38cf0818c8ede62d48ab;hp=de10dd07555a60977ae2a957e2a64e6ea14e5509;hpb=63ca35af9ef5c0b18b3d3217536f3353f77f5465;p=SXSI%2Fxpathcomp.git

diff --git a/debug.ml b/debug.ml
index de10dd0..39b4fcf 100644
--- a/debug.ml
+++ b/debug.ml
@@ -17,23 +17,12 @@ IFDEF DEBUG
 THEN 
 module Loc = Camlp4.PreCast.Loc
 
-
-DEFINE D(x) = ignore(x);
-
-DEFINE MM(v,l) = (let ____x = v in (Memory.register ____x (Loc.to_string (l)));____x)
-let () = Memory.schedule_stats ()
-
+DEFINE D_IGNORE_(e1,e2) = (let () = e1 in ();e2)
 
 ELSE
+DEFINE D_IGNORE_(e1,e2) = (e2)
 
-DEFINE D(x) = ();
-DEFINE MM(v,l) = (v)
-
-END (* IFDEF DEBUG *)
 
-IFDEF PROFILE
-THEN DEFINE P(x) = ignore(x);
-ELSE DEFINE P(x) = ();
 END (* IFDEF DEBUG *)