From 42ac3a536369a7d4a7eafa1fa15b571b146ba594 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 12 Jun 2019 19:48:45 -0700 Subject: [PATCH] merge with csp Signed-off-by: Nikolaj Bjorner --- src/solver/check_sat_result.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/check_sat_result.cpp b/src/solver/check_sat_result.cpp index 7431618df..3c1d1665c 100644 --- a/src/solver/check_sat_result.cpp +++ b/src/solver/check_sat_result.cpp @@ -64,7 +64,7 @@ void simple_check_sat_result::get_model_core(model_ref & m) { } proof * simple_check_sat_result::get_proof() { - return m_status == l_false ? m_proof.get() : nullptr; + return m_proof; } std::string simple_check_sat_result::reason_unknown() const {