Merge remote-tracking branch 'origin/maint'

[bison.git] / src / reader.c

diff --git a/src/reader.c b/src/reader.c
index f18b5b82ceb67486c4271be5542151b5d0a8ba53..fb17b0186c41c6b24fa3bb1712d53aac4d5db15b 100644 (file)
--- a/src/reader.c
+++ b/src/reader.c
@@ -631,7 +631,7 @@ reader (void)
   gram_parse ();
   prepare_percent_define_front_end_variables ();
 
   gram_parse ();
   prepare_percent_define_front_end_variables ();
 

-  if (! complaint_issued)
+  if (complaint_status  < status_complaint)

     check_and_convert_grammar ();
 
   xfclose (gram_in);
     check_and_convert_grammar ();
 
   xfclose (gram_in);