diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-09 18:20:32 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-09 18:56:29 -0500 |
| commit | ec11be9214b5660e04dadb5b5e18d60f824a580a (patch) | |
| tree | ff05e983221260c5a71932470f0c6f6535c20b8d /src/theory/strings | |
| parent | 4475cfe82e97f549b41b465e71670794cbcd77e4 (diff) | |
Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().
Diffstat (limited to 'src/theory/strings')
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index e8bf87a17..254aa9138 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -3247,8 +3247,8 @@ Node TheoryStrings::getNextDecisionRequest() { if( in_var_lsum.isNull() && !d_input_vars.empty() ){ Trace("strings-fmf-debug") << "Input variables: "; std::vector< Node > ll; - for(NodeSet::const_iterator itr = d_input_vars.begin(); - itr != d_input_vars.end(); ++itr) { + for(NodeSet::key_iterator itr = d_input_vars.key_begin(); + itr != d_input_vars.key_end(); ++itr) { Trace("strings-fmf-debug") << " " << (*itr) ; ll.push_back( NodeManager::currentNM()->mkNode( kind::STRING_LENGTH, *itr ) ); } |