diff options
Diffstat (limited to 'src/smt/command.cpp')
-rw-r--r-- | src/smt/command.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/smt/command.cpp b/src/smt/command.cpp index 97a51277b..52a9578dd 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -2359,7 +2359,12 @@ void GetUnsatAssumptionsCommand::invoke(SmtEngine* smtEngine) { try { - d_result = smtEngine->getUnsatAssumptions(); + std::vector<Node> uassumps = smtEngine->getUnsatAssumptions(); + d_result.clear(); + for (const Node& n : uassumps) + { + d_result.push_back(n.toExpr()); + } d_commandStatus = CommandSuccess::instance(); } catch (RecoverableModalException& e) |