diff --git a/src/sat/sat_aig_finder.cpp b/src/sat/sat_aig_finder.cpp
index 588a27606..8195674f7 100644
--- a/src/sat/sat_aig_finder.cpp
+++ b/src/sat/sat_aig_finder.cpp
@@ -110,7 +110,7 @@ namespace sat {
         struct binary {
             literal x, y;
             use_list_t* use_list;
-            binary(literal x, literal y, use_list_t* u): x(x), y(y), use_list(u) {
+            binary(literal _x, literal _y, use_list_t* u): x(_x), y(_y), use_list(u) {
                 if (x.index() > y.index()) std::swap(x, y);
             }
             binary():x(null_literal), y(null_literal), use_list(nullptr) {}
@@ -140,8 +140,8 @@ namespace sat {
         struct ternary {
             literal x, y, z;
             clause* orig;
-            ternary(literal x, literal y, literal z, clause* c):
-                x(x), y(y), z(z), orig(c) {
+            ternary(literal _x, literal _y, literal _z, clause* c):
+                x(_x), y(_y), z(_z), orig(c) {
                 if (x.index() > y.index()) std::swap(x, y);
                 if (y.index() > z.index()) std::swap(y, z);
                 if (x.index() > y.index()) std::swap(x, y);