From: Tim King <taking@google.com>
Date: Wed, 31 Aug 2016 22:55:06 +0000 (-0700)
Subject: Removing BOOST_FOREACH from theory/sets/scrutinize.h.
X-Git-Tag: cvc5-1.0.0~6028^2~71
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3634816bd90d12557d38340117cda8f92be2f328;p=cvc5.git

Removing BOOST_FOREACH from theory/sets/scrutinize.h.
---

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 */
-