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

diff --git a/debug.ml b/debug.ml
index de10dd0..f754993 100644
--- a/debug.ml
+++ b/debug.ml
@@ -19,7 +19,6 @@ 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 ()