diff --git a/src/sat/sat_lookahead.cpp b/src/sat/sat_lookahead.cpp
index 389cdb19b..c3bbe4d1d 100644
--- a/src/sat/sat_lookahead.cpp
+++ b/src/sat/sat_lookahead.cpp
@@ -2160,7 +2160,7 @@ namespace sat {
             if (is_undef(lit)) {
                 val = l_undef;
             }
-            if (is_true(lit)) {
+            else if (is_true(lit)) {
                 val = l_true;
             }
             else {