From 2e4fb8d356005a41a93a75707e47fa4c38106566 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 23 May 2018 16:33:27 -0700
Subject: [PATCH] work around VS2012 compiler bug

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

diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index 15d941b5b..a59dd2b46 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -3241,9 +3241,10 @@ namespace sat {
 
     bool_var solver::max_var(clause_vector& clauses, bool_var v) {
         for (clause* cp : clauses) 
-            for (literal l : *cp) 
-                if (l.var() > v) 
-                    v = l.var();
+            for (auto it = cp->begin(), end = cp->end(); it != end; ++it) {
+                if (it->var() > v) 
+                    v = it->var();
+            }
         return v;
     }