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.