From 0e9ce30b09291812b14230f14a0614a2deee47a7 Mon Sep 17 00:00:00 2001
From: François Pottier <francois.pottier@inria.fr>
Date: Wed, 28 Oct 2015 13:20:40 +0100
Subject: Set [ErrorReports.debug] to [false]. When [debug] is [false], there
 are a few places where we silently ignore an error. This should not make any
 difference if everything works as planned.

---
 cparser/ErrorReports.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cparser/ErrorReports.ml b/cparser/ErrorReports.ml
index a271ece1..4bbf3ded 100644
--- a/cparser/ErrorReports.ml
+++ b/cparser/ErrorReports.ml
@@ -24,7 +24,7 @@ module S = MenhirLib.General (* Streams *)
    silently cover up for our internal error. Thus, we typically use an idiom of
    the form [if debug then assert false else <some default value>]. *)
 
-let debug = true
+let debug = false
 
 (* -------------------------------------------------------------------------- *)
 
-- 
cgit