diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
-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; |