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 /src | |
parent | 67cd7748e776bcceefe7b06edcfc316876cca9bd (diff) |
Fix to empty response to (get-assignment).
Thanks to David Cok for reporting this issue.
Diffstat (limited to 'src')
-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; |