From 3634816bd90d12557d38340117cda8f92be2f328 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Wed, 31 Aug 2016 15:55:06 -0700
Subject: [PATCH] Removing BOOST_FOREACH from theory/sets/scrutinize.h.

---
 src/theory/sets/scrutinize.h | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/theory/sets/scrutinize.h b/src/theory/sets/scrutinize.h
index 2ada4a3ce..88f6001b9 100644
--- a/src/theory/sets/scrutinize.h
+++ b/src/theory/sets/scrutinize.h
@@ -17,8 +17,6 @@
 
 #pragma once
 
-#include <boost/foreach.hpp>
-
 #include "theory/sets/theory_sets.h"
 #include "theory/sets/theory_sets_private.h"
 
@@ -55,7 +53,8 @@ public:
       }
     }
     bool checkPassed = true;
-    BOOST_FOREACH(TNode term, terms) {
+    for (std::set<Node>::const_iterator it = terms.begin(); it != terms.end(); it++){
+      TNode term = *it;
       if( term.getType().isSet() ) {
         checkPassed &= d_theory->checkModel(settermElementsMap, term);
       }
@@ -72,4 +71,3 @@ public:
 }/* CVC4::theory::sets namespace */
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */
-
-- 
2.30.2