Commit 2211407d authored by Daniel Le Berre's avatar Daniel Le Berre

Fixing bug reported by Dieter.

parent b40ad7f2
Pipeline #5671 passed with stages
in 253 minutes and 20 seconds
......@@ -91,7 +91,7 @@ public class ConflictMapReduceToCard extends ConflictMap {
int cpt = 0;
for (int i = 0; i < reducedCoefs.length; i++) {
if ((tmpCoefs[i].equals(BigInteger.ZERO))
&& (reducedCoefs[i].compareTo(maxCoef) > 1)) {
&& (reducedCoefs[i].compareTo(maxCoef) > 0)) {
reducedCoefs[i] = BigInteger.ONE;
cpt++;
} else {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment