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

berkeley-abc · Oct 15, 2024 · baf4ddb · baf4ddb
1 parent d1f78b3
commit baf4ddb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/map/if/acd/acdXX.hpp b/src/map/if/acd/acdXX.hpp
@@ -610,7 +610,7 @@ class acdXX_impl
  : 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;