diff options
Diffstat (limited to 'src/base/cba/cbaNtk.c')
| -rw-r--r-- | src/base/cba/cbaNtk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index eecebf82..e009f4b1 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -77,7 +77,7 @@ void Cba_ManAssignInternNamesNtk( Cba_Ntk_t * p ) continue; sprintf( Buffer, "%s%0*d", "_n_", nDigits, iTerm ); NameId = Abc_NamStrFindOrAdd( p->pDesign->pStrs, Buffer, &fFound ); - assert( !fFound ); + //assert( !fFound ); Cba_ObjSetName( p, iTerm, NameId ); } // transfer names for prim BI |