X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Ftrace.ml;fp=include%2Ftrace.ml;h=0000000000000000000000000000000000000000;hb=7c4c61cec6fe1ae3a1b83a59b17ce90adcfe9b0b;hp=0e36ecc31c9781886387674bca2aed58a0b4b87d;hpb=5db22d04b3c81471dd521537a819da9ce541a171;p=SXSI%2Fxpathcomp.git

diff --git a/include/trace.ml b/include/trace.ml
deleted file mode 100644
index 0e36ecc..0000000
--- a/include/trace.ml
+++ /dev/null
@@ -1,26 +0,0 @@
-IFNDEF TRACE__ML__
-THEN
-DEFINE TRACE__ML__
-let __ x =
-  ignore (Format.flush_str_formatter());
-  Format.kfprintf
-    (fun _ -> Format.flush_str_formatter())
-    Format.str_formatter x
-;;
-IFNDEF NTRACE
-THEN
-
-DEFINE TRACE(t, l, r) =
-  (if l <= Tracer.level t then
-      Tracer.trace t l (r))
-
-ELSE
-
-DEFINE TRACE(t, l, r) = ()
-
-END
-
-
-
-
-END