Bug fix (just in the code; it does not affect the execution)

This commit is contained in:
aletempiac 2024-10-15 19:00:45 +02:00
parent 52c842b648
commit d1f78b36cb
1 changed files with 1 additions and 1 deletions

View File

@ -665,7 +665,7 @@ private:
: cost <= 32 ? 4
: 5;
if ( ss_vars_needed + free_set_size < 6 )
if ( ss_vars_needed + free_set_size < ps.lut_size )
{
/* look for a shared variable */
best_multiplicity = cost;