diff --git a/src/opt/maxcore.cpp b/src/opt/maxcore.cpp
index db05926bb..499d0f65e 100644
--- a/src/opt/maxcore.cpp
+++ b/src/opt/maxcore.cpp
@@ -589,22 +589,6 @@ public:
             --m_correction_set_size;
         }
         trace();
-        bool no_hidden_soft = (m_st == s_primal_dual || m_st == s_primal || m_st == s_primal_binary);
-        if (no_hidden_soft && m_c.num_objectives() == 1 && m_pivot_on_cs && m_csmodel.get() && m_correction_set_size < core.size()) {
-            exprs cs;
-            get_current_correction_set(m_csmodel.get(), cs);
-            m_correction_set_size = cs.size();
-            TRACE(opt, tout << "cs " << m_correction_set_size << " " << core.size() << "\n";);
-            if (m_correction_set_size >= core.size())
-                return;
-            rational w(0);
-            for (expr* a : m_asms) {
-                rational w1 = m_asm2weight[a];
-                if (w != 0 && w1 != w) return;
-                w = w1;
-            }
-            process_sat(cs);
-       }
     }
 
     bool get_mus_model(model_ref& mdl) {