diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-11-11 14:01:47 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-11-11 14:01:47 -0500 |
| commit | 3ec10d72269c11a0c20fe5e966cf6f207d0be635 (patch) | |
| tree | 724b345dabcf1b4b80f1c876655c596047df56d9 | |
| parent | b7ae36dbc1d0905a6e59d654431b4b7c0223665e (diff) | |
| parent | 20a0d7046b1e51da466c5929b74287e2d69f848b (diff) | |
Merge pull request #64 from mdeters/theorysets-hashset-iteration
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 ) { |