diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
-rw-r--r-- | src/parser/cvc/Cvc.g | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index b8ec160e8..e5e26c9a2 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -625,8 +625,7 @@ mainCommand[CVC4::Command*& cmd] : ASSERT_TOK formula[f] { cmd = new AssertCommand(f); } | QUERY_TOK formula[f] { cmd = new QueryCommand(f); } - | CHECKSAT_TOK formula[f] { cmd = new CheckSatCommand(f); } - | CHECKSAT_TOK { cmd = new CheckSatCommand(); } + | CHECKSAT_TOK formula[f]? { cmd = f.isNull() ? new CheckSatCommand() : new CheckSatCommand(f); } /* options */ | OPTION_TOK |