diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
-rw-r--r-- | src/parser/cvc/Cvc.g | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index ead8caa20..2b442015a 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -702,6 +702,11 @@ mainCommand[CVC4::Command*& cmd] PARSER_STATE->reset(); } + | RESET_TOK ASSERTIONS_TOK + { cmd = new ResetAssertionsCommand(); + PARSER_STATE->reset(); + } + // Datatypes can be mututally-recursive if they're in the same // definition block, separated by a comma. So we parse everything // and then ask the ExprManager to resolve everything in one go. |