diff --git a/src/sat/sat_simplifier.cpp b/src/sat/sat_simplifier.cpp
index 4fd9b08be..d19cd14d4 100644
--- a/src/sat/sat_simplifier.cpp
+++ b/src/sat/sat_simplifier.cpp
@@ -338,8 +338,7 @@ namespace sat {
             if (sz == 0) {
                 s.set_conflict(justification());
                 for (; it != end; ++it, ++it2) {
-                    *it2 = *it;
-                    ++it2;
+                    *it2 = *it;                  
                 }
                 break;
             }