From 391db898d36539b5755b69fc75582ba20a39d0a8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 Aug 2021 09:45:17 -0700 Subject: [PATCH] lost update from August 3 #5468 --- src/tactic/core/pb_preprocess_tactic.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/tactic/core/pb_preprocess_tactic.cpp b/src/tactic/core/pb_preprocess_tactic.cpp index 406b52b0f..1d4805c67 100644 --- a/src/tactic/core/pb_preprocess_tactic.cpp +++ b/src/tactic/core/pb_preprocess_tactic.cpp @@ -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; }