From 8cbe257434d3fbdead9ec465da47874e774cdcb3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 21 Mar 2014 14:33:29 -0700 Subject: [PATCH] improved SLS Signed-off-by: Nikolaj Bjorner --- src/opt/pb_sls.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/opt/pb_sls.cpp b/src/opt/pb_sls.cpp index b07ef0e87..c7c0c1032 100644 --- a/src/opt/pb_sls.cpp +++ b/src/opt/pb_sls.cpp @@ -244,8 +244,10 @@ namespace smt { } void display(std::ostream& out, clause const& cls) { + scoped_mpz w(mgr); for (unsigned i = 0; i < cls.m_lits.size(); ++i) { - out << cls.m_weights[i] << "*" << cls.m_lits[i] << " "; + w = cls.m_weights[i]; + out << w << "*" << cls.m_lits[i] << " "; if (i + 1 < cls.m_lits.size()) { out << "+ "; }