fix build

Z3Prover · Feb 13, 2023 · 2b77012 · 2b77012
1 parent 52804b5
commit 2b77012
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sat/smt/arith_sls.cpp b/src/sat/smt/arith_sls.cpp
@@ -333,7 +333,7 @@ namespace arith {
                 }
                 else if (dtt_new == 0 || dtt_old > 0 || clause.m_num_trues > 1) // true -> true not really, same variable can be in multiple literals
                     continue;
-                else if (all_of(*clause.m_clause, [&](auto lit2) { return !atom(lit2) || lit == lit2 || dtt(*atom(lit2), v, new_value) > 0; })) // ?? TODO
+                else if (all_of(*clause.m_clause, [&](auto lit2) { return !atom(lit2) || dtt(*atom(lit2), v, new_value) > 0; })) // ?? TODO
                     --score;
             }
         }