diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-09 18:20:28 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-09 19:00:05 -0500 |
| commit | 20a0d7046b1e51da466c5929b74287e2d69f848b (patch) | |
| tree | 1c4ef423cfd1bf606e65b45a8f7cd1ca70430941 | |
| parent | 4475cfe82e97f549b41b465e71670794cbcd77e4 (diff) | |
Update TheorySets to use CDHashSet<>::key_begin() / key_end().
| -rw-r--r-- | src/theory/sets/theory_sets_private.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) { |