Avoid shadowing local variable with another

PierreSenellart · Feb 24, 2024 · b01deae · b01deae
1 parent d6c9160
commit b01deae
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/dDNNF.cpp b/src/dDNNF.cpp
@@ -49,8 +49,8 @@ void dDNNF::makeSmooth()
     std::vector<std::unordered_set<gate_t> > varss;
 
     std::for_each(getWires(g).begin(), getWires(g).end(),
-                  [&](gate_t g) {
-      varss.push_back(vars(g));
+                  [&](gate_t x) {
+      varss.push_back(vars(x));
     });
     std::for_each(varss.begin(), varss.end(),
                   [&](const auto &s) {