diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 08:43:24 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 16:53:37 -0400 |
| commit | d4fb7022845f3ec595cff3fb1b6324e2364d25d3 (patch) | |
| tree | dddda0f0a1149fbcc150f0dfc4b0a359ae2f5d6a | |
| parent | 67cd7748e776bcceefe7b06edcfc316876cca9bd (diff) | |
Fix to empty response to (get-assignment).
Thanks to David Cok for reporting this issue.
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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; |