From 0a9ee6c640a6464dbf0737c8eb6365f62da2d6c6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 4 Feb 2021 16:58:03 -0800
Subject: [PATCH] build break

---
 src/opt/opt_lns.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/opt/opt_lns.cpp b/src/opt/opt_lns.cpp
index f4229e81d..018c1fab9 100644
--- a/src/opt/opt_lns.cpp
+++ b/src/opt/opt_lns.cpp
@@ -103,7 +103,7 @@ namespace opt {
         for (unsigned i = 0; i < m_unprocessed.size(); ++i) {
             if (mdl->is_false(unprocessed(i))) {
                 expr_ref tmp(m_unprocessed.get(j), m);
-                m_unprocessed[j++] = m_unprocessed[i];
+                m_unprocessed[j++] = m_unprocessed.get(i);
                 m_unprocessed[i] = tmp;
                 break;
             }
@@ -111,7 +111,7 @@ namespace opt {
         for (unsigned i = j; i < m_unprocessed.size(); ++i) {
             if (mdl->is_true(unprocessed(i))) {
                 expr_ref tmp(m_unprocessed.get(j), m);
-                m_unprocessed[j++] = m_unprocessed[i];
+                m_unprocessed[j++] = m_unprocessed.get(i);
                 m_unprocessed[i] = tmp;
             }
         }
@@ -200,7 +200,6 @@ namespace opt {
         unsigned num_improved = 0;
         unsigned max_conflicts = m_max_conflicts;
         while (m.inc()) {
-            unsigned hard = m_hardened.size();
             unsigned reward = improve_step(mdl);
             if (reward == 0)
                 break;