X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Ftrace.ml;h=0e36ecc31c9781886387674bca2aed58a0b4b87d;hb=d8e8a2b5c08a980a440d9fc9f3ea27af7711b524;hp=21e3a95e713e31eb93032578bef048bbee9e8cfc;hpb=43906e89a76c67491e2a567990980df787036088;p=SXSI%2Fxpathcomp.git

diff --git a/include/trace.ml b/include/trace.ml
index 21e3a95..0e36ecc 100644
--- a/include/trace.ml
+++ b/include/trace.ml
@@ -1,7 +1,6 @@
 IFNDEF TRACE__ML__
 THEN
 DEFINE TRACE__ML__
-
 let __ x =
   ignore (Format.flush_str_formatter());
   Format.kfprintf