diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
-rw-r--r-- | src/parser/cvc/Cvc.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 3c4a51ad4..82e27401e 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -747,9 +747,9 @@ mainCommand[CVC4::Command*& cmd] { cmd = new GetAssertionsCommand(); } | COUNTEREXAMPLE_TOK - { UNSUPPORTED("COUNTEREXAMPLE command"); } + { cmd = new GetModelCommand; } | COUNTERMODEL_TOK - { UNSUPPORTED("COUNTERMODEL command"); } + { cmd = new GetModelCommand; } | ARITH_VAR_ORDER_TOK LPAREN formula[f] ( COMMA formula[f] )* RPAREN { UNSUPPORTED("ARITH_VAR_ORDER command"); } |