From 708e8669fa3e522f5bbe383e06ea1323b77b32d9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Oct 2017 07:41:31 -0700
Subject: [PATCH] fix faulty merge

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

diff --git a/src/sat/sat_lookahead.cpp b/src/sat/sat_lookahead.cpp
index 9a0740cb5..c9552d5d2 100644
--- a/src/sat/sat_lookahead.cpp
+++ b/src/sat/sat_lookahead.cpp
@@ -1626,6 +1626,7 @@ namespace sat {
                 pop_lookahead1(lit, num_units); 
                 if (unsat) {
                     TRACE("sat", tout << "backtracking and settting " << ~lit << "\n";);
+                    lookahead_backtrack();
                     assign(~lit);
                     propagate();
                     change = true;