From 8a314db8dc9db2c617226cd3fafd2944749a1c93 Mon Sep 17 00:00:00 2001
From: aletempiac <alessandro.tempia@gmail.com>
Date: Fri, 22 Mar 2024 15:39:52 +0100
Subject: [PATCH] Bug fix

---
 src/map/if/acd/acd66.hpp  | 2 +-
 src/map/if/acd/acd666.hpp | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/map/if/acd/acd66.hpp b/src/map/if/acd/acd66.hpp
index 5891f7b90..aea9752e6 100644
--- a/src/map/if/acd/acd66.hpp
+++ b/src/map/if/acd/acd66.hpp
@@ -1024,7 +1024,7 @@ private:
     if ( support_vars2 > support_vars1 )
     {
       f = isets0[0] | isets1[1];
-      std::swap( fs_fun[3], fs_fun[4] );
+      std::swap( fs_fun[2], fs_fun[3] );
       bs_support_size = support_vars1;
     }
 
diff --git a/src/map/if/acd/acd666.hpp b/src/map/if/acd/acd666.hpp
index 72ae68ec4..1086af0a3 100644
--- a/src/map/if/acd/acd666.hpp
+++ b/src/map/if/acd/acd666.hpp
@@ -646,7 +646,7 @@ private:
       {
         f._bits[i] = isets0[0]._bits[i] | isets1[1]._bits[i];
       }
-      std::swap( fs_fun[3], fs_fun[4] );
+      std::swap( fs_fun[2], fs_fun[3] );
       rm_support_size = support_vars1;
     }
 
@@ -705,7 +705,7 @@ private:
     if ( support_vars2 > support_vars1 )
     {
       f = isets0[0] | isets1[1];
-      std::swap( fs_fun[3], fs_fun[4] );
+      std::swap( fs_fun[2], fs_fun[3] );
       support_sizes[0] = support_vars1;
     }