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

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