From baf4ddb16acb94fbfe75ac0fe6a99330ba1e315a Mon Sep 17 00:00:00 2001
From: aletempiac <alessandro.tempia@gmail.com>
Date: Tue, 15 Oct 2024 19:04:49 +0200
Subject: [PATCH] Bug fix (just in the code; it does not affect the execution)

---
 src/map/if/acd/acdXX.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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