X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Fdebug.ml;h=09fd43f4cd5288c2b0ab41321cd059cecd6e5aea;hb=refs%2Fheads%2Fnon-regression-tests;hp=e3694ab5a4e5640ca09d6abaa9c434135316c7bf;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/include/debug.ml b/include/debug.ml
index e3694ab..09fd43f 100644
--- a/include/debug.ml
+++ b/include/debug.ml
@@ -21,7 +21,6 @@ DEFINE D_IGNORE_(e1,e2) = (let () = e1 in ();e2)
 DEFINE D_IF_(e1,e2) = e1
 DEFINE D_TRACE_(e) = e
 
-
 ELSE
 DEFINE D_IGNORE_(e1,e2) = (e2)
 DEFINE D_IF_(e1,e2) = e2