diff options
Diffstat (limited to 'src/expr/command.cpp')
-rw-r--r-- | src/expr/command.cpp | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/expr/command.cpp b/src/expr/command.cpp index 5be612b20..8ded902b7 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -231,12 +231,6 @@ void PopCommand::invoke(SmtEngine* smtEngine) throw() { } } -/* class CheckSatCommand */ - -CheckSatCommand::CheckSatCommand() throw() : - d_expr() { -} - Command* PopCommand::exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap) { return new PopCommand(); } @@ -247,6 +241,10 @@ Command* PopCommand::clone() const { /* class CheckSatCommand */ +CheckSatCommand::CheckSatCommand() throw() : + d_expr() { +} + CheckSatCommand::CheckSatCommand(const Expr& expr) throw() : d_expr(expr) { } |