diff options
| -rw-r--r-- | cparser/ErrorReports.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 (* -------------------------------------------------------------------------- *) |