From d9ed88f6a071cc3f4a1d8a132db653cb80ad45fa Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 1 Feb 2015 20:53:32 -0800
Subject: Improvements and tuning of CBA.

---
 src/base/cba/cbaBlast.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c
index 795ee678..2f955241 100644
--- a/src/base/cba/cbaBlast.c
+++ b/src/base/cba/cbaBlast.c
@@ -143,10 +143,6 @@ int Cba_ManExtract_rec( Gia_Man_t * pNew, Cba_Ntk_t * p, int i, int fBuffers, Ve
                 Dec_Graph_t * pGraph = (Dec_Graph_t *)p->pDesign->ppGraphs[Cba_BoxNtkId(p, iBox)];
                 Vec_Int_t Leaves = { nLits, nLits, pLits };
                 assert( pGraph != NULL );
-                if ( pGraph->nLeaves == 0 )
-                {
-                    int s = 0;
-                }
                 return Gia_ManFactorGraph( pNew, pGraph, &Leaves );
             }
             else
-- 
cgit v1.2.3