diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
| -rw-r--r-- | src/parser/cvc/Cvc.g | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 96c0933d8..22cf368eb 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -705,8 +705,10 @@ mainCommand[CVC4::Command*& cmd] | { PARSER_STATE->parseError("No filename given to INCLUDE command"); } ) - | ( DUMP_PROOF_TOK - | DUMP_ASSUMPTIONS_TOK + | DUMP_PROOF_TOK + { cmd = new GetProofCommand(); } + + | ( DUMP_ASSUMPTIONS_TOK | DUMP_SIG_TOK | DUMP_TCC_TOK | DUMP_TCC_ASSUMPTIONS_TOK |