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

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index e8bf87a17a36e229ace6c57d8fa7ac608eb8fea3..254aa9138c939a735596e010dc014f5d46cf5d01 100644 (file)
--- 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 ) );
       }