From 2d90b916e6e46513786b7a0e38e8c0b7b938c623 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 1 Mar 2015 19:11:15 -0800
Subject: Improvements to the CBA package.

---
 src/base/cba/cbaBlast.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/cba/cbaBlast.c')

diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c
index 15e433fc..e4b3fc1a 100644
--- a/src/base/cba/cbaBlast.c
+++ b/src/base/cba/cbaBlast.c
@@ -300,7 +300,7 @@ void Cba_ManMarkNodesGia( Cba_Man_t * p, Gia_Man_t * pGia )
 void Cba_ManRemapBarbufs( Cba_Man_t * pNew, Cba_Man_t * p )
 {
     Cba_Ntk_t * pNtk;  int Entry, i;
-    assert( Vec_IntSize(&p->vBuf2RootNtk) );
+    //assert( Vec_IntSize(&p->vBuf2RootNtk) );
     assert( !Vec_IntSize(&pNew->vBuf2RootNtk) );
     Vec_IntAppend( &pNew->vBuf2RootNtk, &p->vBuf2RootNtk );
     Vec_IntAppend( &pNew->vBuf2RootObj, &p->vBuf2RootObj );
-- 
cgit v1.2.3