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 0bfc6e63453f38296955855f64d8567676bf9c2b..284f39d5448bd09f2f4b8abea7a989cb68a0b7fd 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -3313,7 +3313,7 @@ CVC4::SExpr SmtEngine::getAssignment() throw(ModalException) {
   }
 
   if(d_assignments == NULL) {
-    return SExpr();
+    return SExpr(vector<SExpr>());
   }
 
   vector<SExpr> sexprs;