Fix to empty response to (get-assignment).

Thanks to David Cok for reporting this issue.

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index e49e6fb549bf7ce4eb154b919f828f1b47a3bc70..908ad05e2339e6a75a356c551ca6e4b7541245a8 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -3327,7 +3327,7 @@ CVC4::SExpr SmtEngine::getAssignment() throw(ModalException) {
   }
 
   if(d_assignments == NULL) {
-    return SExpr();
+    return SExpr(vector<SExpr>());
   }
 
   vector<SExpr> sexprs;