Rename 'Tracer' module to 'Logger'.

[SXSI/xpathcomp.git] / include / trace.ml

diff --git a/include/trace.ml b/include/trace.ml
deleted file mode 100644 (file)
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