From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 17 May 2013 12:43:24 +0000 (-0400)
Subject: Fix to empty response to (get-assignment).
X-Git-Tag: cvc5-1.0.0~7287^2~33^2~26
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d4fb7022845f3ec595cff3fb1b6324e2364d25d3;p=cvc5.git

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 0bfc6e634..284f39d54 100644
--- 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;