1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c
index 5a41b109..2ad32dba 100644
--- a/src/base/abc/abcUtil.c
+++ b/src/base/abc/abcUtil.c
@@ -371,6 +371,9 @@ double Abc_NtkGetMappedArea( Abc_Ntk_t * pNtk )
             continue;
         }
         TotalArea += Mio_GateReadArea( (Mio_Gate_t *)pNode->pData );
+        // assuming that twin gates follow each other
+        if ( Mio_GateReadTwin(((Mio_Gate_t *)pNode->pData)) != NULL )
+            i++;
     }
     return TotalArea;
 }