X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Ftrace.ml;h=c4a72bd3e72768def23639ac1c7207ba9d1e333a;hb=a6baedc6c67cb1de0587a779f8bcddf276b0bf4c;hp=21e3a95e713e31eb93032578bef048bbee9e8cfc;hpb=63db110485e97e189313abd1a6ce1bedf941d76d;p=SXSI%2Fxpathcomp.git

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