From 064a7f9097da8af84ffa8e601f6303de41c92591 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 7 Feb 2018 16:05:06 -0800
Subject: [PATCH] remove tautology

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

diff --git a/src/sat/ba_solver.cpp b/src/sat/ba_solver.cpp
index 6486380dd..41d043526 100644
--- a/src/sat/ba_solver.cpp
+++ b/src/sat/ba_solver.cpp
@@ -1318,7 +1318,7 @@ namespace sat {
 
         m_overflow = false;
 
-        while (m_num_marks > 0 && idx >= 0) {
+        while (m_num_marks > 0) {
             bool_var v = lits[idx].var();
             if (s().is_marked(v)) {
                 s().reset_mark(v);