projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2635899) | patch
Prevent lexer errors being raised if a parser error is pending.
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 26 May 2010 17:53:33 +0000 (17:53 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 26 May 2010 17:53:33 +0000 (17:53 +0000)
commitcb5cc82b18503783f4433170bbd61b4db752a6dc
tree7d279c575b9ed31cb0ddc1a36a520dfe3eef9bf3tree
parent2635899db4a7622a206e2ec562d01e3337a92199commit | diff
Prevent lexer errors being raised if a parser error is pending.
This fixes a bug Dejan has often whined about but never filed.
src/parser/antlr_input.cpp diff | blob | history