From fbf70c5fbb37fbf55faa82af245560bba1db10ea Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Apr 2020 09:54:17 -0700
Subject: Memory leak.

---
 src/base/abci/abcNtbdd.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/base/abci/abcNtbdd.c b/src/base/abci/abcNtbdd.c
index fc926857..d3a19d83 100644
--- a/src/base/abci/abcNtbdd.c
+++ b/src/base/abci/abcNtbdd.c
@@ -136,7 +136,10 @@ Abc_Ntk_t * Abc_NtkBddToMuxes( Abc_Ntk_t * pNtk, int fGlobal, int Limit )
     if ( fGlobal ) 
     {
         if ( !Abc_NtkBddToMuxesPerformGlo( pNtk, pNtkNew, Limit ) )
+        {
+            Abc_NtkDelete( pNtkNew );
             return NULL;
+        }
     }
     else
     {
-- 
cgit v1.2.3