From 33e7dccd428ab194533811951a1412b49e1e44b1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 24 Oct 2016 09:11:02 -0700 Subject: [PATCH] merge Signed-off-by: Nikolaj Bjorner --- src/smt/theory_pb.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp index d4f7bf30e..73e427b0b 100644 --- a/src/smt/theory_pb.cpp +++ b/src/smt/theory_pb.cpp @@ -1292,8 +1292,8 @@ namespace smt { IF_VERBOSE(1, verbose_stream() << "(smt.pb compile sorting network bound: " << k << " literals: " << in.size() - << " clauses: " << num_compiled_clauses - << " vars: " << num_compiled_vars << ")\n";); + << " clauses: " << sortnw.m_stats.m_num_compiled_clauses + << " vars: " << sortnw.m_stats.m_num_compiled_vars << ")\n";); // auxiliary clauses get removed when popping scopes. // we have to recompile the circuit after back-tracking.