diff --git a/src/map/if/acd/acdXX.hpp b/src/map/if/acd/acdXX.hpp
index 13d1bdddf..833e45ba3 100644
--- a/src/map/if/acd/acdXX.hpp
+++ b/src/map/if/acd/acdXX.hpp
@@ -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;