From 2f6c80ef086161331dfc1aefe762f380ed1afd54 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 28 Jan 2018 12:06:14 -0800
Subject: [PATCH] fix build

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

diff --git a/src/sat/sat_model_converter.cpp b/src/sat/sat_model_converter.cpp
index 1a3b4104f..4882018bb 100644
--- a/src/sat/sat_model_converter.cpp
+++ b/src/sat/sat_model_converter.cpp
@@ -43,10 +43,7 @@ namespace sat {
             // and the following procedure flips its value.
             bool sat = false;
             bool var_sign = false;
-            literal_vector::const_iterator it2  = it->m_clauses.begin();
-            literal_vector::const_iterator end2 = it->m_clauses.end();
-            for (; it2 != end2; ++it2) {
-                literal l = *it2;
+            for (literal l : it->m_clauses) {
                 if (l == null_literal) {
                     // end of clause
                     if (!sat) {
@@ -74,7 +71,7 @@ namespace sat {
             DEBUG_CODE({
                 // all clauses must be satisfied
                 bool sat = false;
-                for (literal l : m_clauses) {
+                for (literal l : it->m_clauses) {
                     if (l == null_literal) {
                         SASSERT(sat);
                         sat = false;