From c15eca66d6c0df6b51ac3e7a5a83dbcdd2e0687b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Jun 2018 20:53:33 -0700
Subject: [PATCH] fix #1685

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_simplifier.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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;
             }