We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents f067d2f + bf49d1e commit 2e8734bCopy full SHA for 2e8734b
src/leon/src/ccent.c
@@ -86,7 +86,7 @@ static UnsignedS nextBasePointEltCent(
86
for ( pt = 1 ; pt <= degree ; ++pt )
87
if ( (cSize = cellSize[cellNumber[pt]]) > 1 ) {
88
if ( longCycleFlag )
89
- priority = 2000000000ul - (unsigned long) MIN(cycleLen[pt],1000) << 20
+ priority = 2000000000ul - ((unsigned long) MIN(cycleLen[pt],1000) << 20)
90
+ cSize;
91
else
92
if ( cycleLen[pt] == 1 )
0 commit comments