3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00

lost update from August 3 #5468

This commit is contained in:
Nikolaj Bjorner 2021-08-10 09:45:17 -07:00
parent 2075cb9fa4
commit 391db898d3

View file

@ -507,10 +507,7 @@ private:
bool found = false;
for (unsigned j = 0; j < args2.size(); ++j) {
if (is_complement(args1.get(i), args2.get(j))) {
if (i == 0) {
min_coeff = coeffs2[j];
}
else if (min_coeff > coeffs2[j]) {
if (i == 0 || min_coeff > coeffs2[j]) {
min_coeff = coeffs2[j];
min_index = j;
}