From cfb7bbd84bb70d138b8ed90a237bf7fd3652e740 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Tue, 14 Feb 2012 15:26:44 +0100
Subject: [PATCH 1/1] Fix compile error in debug mode.     * depending on
 compilation flags, multiple definitions of module       Loc where occuring in
 the same file.

---
 include/trace.ml | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.17.1