From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 9 Nov 2014 23:20:32 +0000 (-0500)
Subject: Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().
X-Git-Tag: cvc5-1.0.0~6506^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ec11be9214b5660e04dadb5b5e18d60f824a580a;p=cvc5.git

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 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 ) );
       }