* src/reader.c (read_declarations): Don't abort on tok_illegal,

[bison.git] / src / reader.c

diff --git a/src/reader.c b/src/reader.c
index d3c089510774a80359b2ac144e3cea9c3f564407..8f01a7c4ae49678991d211b710799a335f0f8eff 100644 (file)
--- a/src/reader.c
+++ b/src/reader.c
@@ -1054,10 +1054,10 @@ read_declarations (void)
            case tok_stropt:
            case tok_intopt:
            case tok_obsolete:
-           case tok_illegal:
              abort ();
              break;
 
+           case tok_illegal:
            default:
              complain (_("unrecognized: %s"), token_buffer);
              skip_to_char ('%');