From 7db1132c33fe38642e876bbe8fa83a2252475195 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 27 Sep 2017 14:54:24 -0700
Subject: [PATCH] n/a

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_lookahead.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/sat/sat_lookahead.cpp b/src/sat/sat_lookahead.cpp
index 13506529a..74b54e283 100644
--- a/src/sat/sat_lookahead.cpp
+++ b/src/sat/sat_lookahead.cpp
@@ -1987,9 +1987,9 @@ namespace sat {
     void lookahead::propagate_binary(literal l) {
         literal_vector const& lits = m_binary[l.index()];
         TRACE("sat", tout << l << " => " << lits << "\n";);
-        unsigned sz = lits.size();
-        for (unsigned i = 0; !inconsistent() && i < sz; ++i) {
-            assign(lits[i]);
+        for (literal l : lits) {
+            if (inconsistent()) break;
+            assign(l);
         }
     }