Fix -Wshadow warnings in batch 100.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/theory/bv/bv_subtheory_algebraic.cpp b/src/theory/bv/bv_subtheory_algebraic.cpp
index 14753deec..41f61b7fa 100644
--- a/src/theory/bv/bv_subtheory_algebraic.cpp
+++ b/src/theory/bv/bv_subtheory_algebraic.cpp
@@ -984,10 +984,10 @@ Node mergeExplanations(const std::vector<Node>& expls) {
     TNode expl = expls[i];
     Assert(expl.getType().isBoolean());
     if (expl.getKind() == kind::AND) {
-      for (unsigned i = 0; i < expl.getNumChildren(); ++i) {
-        TNode child = expl[i];
-        if (child == utils::mkTrue())
-          continue;
+      for (unsigned j = 0; j < expl.getNumChildren(); ++j)
+      {
+        TNode child = expl[j];
+        if (child == utils::mkTrue()) continue;
         literals.insert(child);
       }
     } else if (expl != utils::mkTrue()) {