diff options
Diffstat (limited to 'parsing/pcoq.ml')
| -rw-r--r-- | parsing/pcoq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/pcoq.ml b/parsing/pcoq.ml index 92d249e53..dad98e2e9 100644 --- a/parsing/pcoq.ml +++ b/parsing/pcoq.ml @@ -211,7 +211,7 @@ let camlp4_verbosity silent f x = f x; warning_verbose := a -let camlp4_verbose f x = camlp4_verbosity (Flags.is_verbose ()) f x +let camlp4_verbose f x = camlp4_verbosity (not !Flags.quiet) f x (** Grammar extensions *) |