From 82fce07b7204b14fc4c53fd35c284b7ea68f05fd Mon Sep 17 00:00:00 2001
From: Alessandro Tempia Calvino <44085674+aletempiac@users.noreply.github.com>
Date: Thu, 24 Aug 2023 14:05:37 +0200
Subject: [PATCH] Fix in ESOP balancing (#618)

---
 include/mockturtle/algorithms/balancing/esop_balancing.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/mockturtle/algorithms/balancing/esop_balancing.hpp b/include/mockturtle/algorithms/balancing/esop_balancing.hpp
index 53bc6648f..af717c8e0 100644
--- a/include/mockturtle/algorithms/balancing/esop_balancing.hpp
+++ b/include/mockturtle/algorithms/balancing/esop_balancing.hpp
@@ -277,6 +277,7 @@ struct esop_rebalancing
 
         if ( n_lit < lit )
         {
+          inverted = true;
           return sop_hash_[~func] = n_sop;
         }
       }