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) {
 }