From ec11be9214b5660e04dadb5b5e18d60f824a580a Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sun, 9 Nov 2014 18:20:32 -0500 Subject: Update TheoryStrings to use CDHashSet<>::key_begin() / key_end(). --- src/theory/strings/theory_strings.cpp | 4 ++-- 1 file 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 ) ); } -- cgit v1.2.3