X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=debug.ml;h=de10dd07555a60977ae2a957e2a64e6ea14e5509;hb=f84dd2f6de7d5da16da729dc2e91cbdeb3585d75;hp=1a1b3b33170bdb90e1cd0f9151281edf8cc43edf;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/debug.ml b/debug.ml
index 1a1b3b3..de10dd0 100644
--- a/debug.ml
+++ b/debug.ml
@@ -20,14 +20,14 @@ module Loc = Camlp4.PreCast.Loc
 
 DEFINE D(x) = ignore(x);
 
-DEFINE MM(v,l) = Memory.register v (Loc.to_string (l))
+DEFINE MM(v,l) = (let ____x = v in (Memory.register ____x (Loc.to_string (l)));____x)
 let () = Memory.schedule_stats ()
 
 
 ELSE
 
 DEFINE D(x) = ();
-DEFINE MM(v,l) = ()
+DEFINE MM(v,l) = (v)
 
 END (* IFDEF DEBUG *)