diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-03-10 09:27:19 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-10 09:27:19 -0700 |
commit | 829b813bc1eaaef04de67472296af8d28701544d (patch) | |
tree | dcc186f55ca9bfb854d4cff308df63e113823321 /src/theory/quantifiers/sygus | |
parent | 54eb1c069f0a86b157945d95eb0ae0999d8470fd (diff) |
Fix -Wshadow warnings in sygus_grammar_cons.cpp. (#3986)
Diffstat (limited to 'src/theory/quantifiers/sygus')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_grammar_cons.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_grammar_cons.cpp b/src/theory/quantifiers/sygus/sygus_grammar_cons.cpp index 17cc6bf9e..07340841c 100644 --- a/src/theory/quantifiers/sygus/sygus_grammar_cons.cpp +++ b/src/theory/quantifiers/sygus/sygus_grammar_cons.cpp @@ -841,10 +841,10 @@ void CegGrammarConstructor::mkSygusDefaultGrammar( std::vector<TypeNode> cargsBinary; cargsBinary.push_back(unres_t); cargsBinary.push_back(unres_t); - for (const Kind k : bin_kinds) + for (const Kind kind : bin_kinds) { - Trace("sygus-grammar-def") << "...add for " << k << std::endl; - sdts[i].addConstructor(k, cargsBinary); + Trace("sygus-grammar-def") << "...add for " << kind << std::endl; + sdts[i].addConstructor(kind, cargsBinary); } } else if (types[i].isDatatype()) |