From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 9 Nov 2014 23:20:28 +0000 (-0500)
Subject: Update TheorySets to use CDHashSet<>::key_begin() / key_end().
X-Git-Tag: cvc5-1.0.0~6504^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=20a0d7046b1e51da466c5929b74287e2d69f848b;p=cvc5.git

Update TheorySets to use CDHashSet<>::key_begin() / key_end().
---

diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp
index 57b761500..87a05bbeb 100644
--- a/src/theory/sets/theory_sets_private.cpp
+++ b/src/theory/sets/theory_sets_private.cpp
@@ -1114,7 +1114,7 @@ void TheorySetsPrivate::propagate(Theory::Effort effort) {
   }
 
   const CDNodeSet& terms = (d_termInfoManager->d_terms);
-  for(typeof(terms.begin()) it = terms.begin(); it != terms.end(); ++it) {
+  for(typeof(terms.key_begin()) it = terms.key_begin(); it != terms.key_end(); ++it) {
     Node node = (*it);
     Kind k = node.getKind();
     if(k == kind::UNION && node[0].getKind() == kind::SINGLETON ) {