From 11b712fee0d06a6457f901cc29eff7a819415543 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 23 Nov 2022 08:02:02 +0700 Subject: [PATCH] switch to new configuration convention in solver object --- src/sat/smt/euf_proof.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sat/smt/euf_proof.cpp b/src/sat/smt/euf_proof.cpp index 877375246..5fbd632cd 100644 --- a/src/sat/smt/euf_proof.cpp +++ b/src/sat/smt/euf_proof.cpp @@ -34,11 +34,11 @@ namespace euf { if (!get_config().m_lemmas2console && !s().get_config().m_smt_proof_check && !m_on_clause && - !s().get_config().m_smt_proof.is_non_empty_string()) + !m_config.m_proof_log.is_non_empty_string()) return; - if (s().get_config().m_smt_proof.is_non_empty_string()) - m_proof_out = alloc(std::ofstream, s().get_config().m_smt_proof.str(), std::ios_base::out); + if (m_config.m_proof_log.is_non_empty_string()) + m_proof_out = alloc(std::ofstream, m_config.m_proof_log.str(), std::ios_base::out); get_drat().set_clause_eh(*this); m_proof_initialized = true; }