diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-17 20:27:23 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-17 20:27:23 -0800 |
| commit | 17610c039f79e30679b7950e7d91de166b34d2fa (patch) | |
| tree | 3e9885c0fad76b1ca8f122323683fb11b87d290f /src/base/cba/cbaReadBlif.c | |
| parent | 42cc56576b0ab244f0834fc8d80a3ced406576bd (diff) | |
| download | abc-17610c039f79e30679b7950e7d91de166b34d2fa.tar.gz abc-17610c039f79e30679b7950e7d91de166b34d2fa.tar.bz2 abc-17610c039f79e30679b7950e7d91de166b34d2fa.zip | |
Organizing commands for barbuf-aware flow.
Diffstat (limited to 'src/base/cba/cbaReadBlif.c')
| -rw-r--r-- | src/base/cba/cbaReadBlif.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cba/cbaReadBlif.c b/src/base/cba/cbaReadBlif.c index 83ec12f5..fa552990 100644 --- a/src/base/cba/cbaReadBlif.c +++ b/src/base/cba/cbaReadBlif.c @@ -62,11 +62,11 @@ static inline void Cba_PrsAddBlifDirectives( Cba_Prs_t * p ) { int i; for ( i = 1; s_BlifTypes[i]; i++ ) - Abc_NamStrFindOrAdd( p->pDesign->pNames, (char *)s_BlifTypes[i], NULL ); + Abc_NamStrFindOrAdd( p->pDesign->pNames, (char *)s_BlifTypes[i], NULL ); assert( Abc_NamObjNumMax(p->pDesign->pNames) == i ); for ( i = 1; i < CBA_NODE_UNKNOWN; i++ ) - Abc_NamStrFindOrAdd( p->pDesign->pFuncs, Ptr_TypeToSop(i), NULL ); - assert( Abc_NamObjNumMax(p->pDesign->pFuncs) == i-1 ); + Abc_NamStrFindOrAdd( p->pDesign->pFuncs, Ptr_TypeToSop(i), NULL ); + assert( Abc_NamObjNumMax(p->pDesign->pFuncs) == i ); } |