From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 14 Feb 2012 14:26:44 +0000 (+0100)
Subject: Fix compile error in debug mode.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=cfb7bbd84bb70d138b8ed90a237bf7fd3652e740;p=SXSI%2Fxpathcomp.git

Fix compile error in debug mode.
    * depending on compilation flags, multiple definitions of module
      Loc where occuring in the same file.
---

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