diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 9466f8753..17ea1611d 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -300,7 +300,7 @@ command returns [CVC4::Command* cmd] } } | EXIT_TOK - { cmd = NULL; } + { cmd = new QuitCommand; } ; symbolicExpr[CVC4::SExpr& sexpr] |