diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-09 14:30:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-09 14:30:10 -0800 |
| commit | 2fe17c1f4bf2a4df4076ad2fee336f568c52786f (patch) | |
| tree | 8ec945df5e7e6dc96ec01a1f0e61f561290f5abc /src/base/wlc/wlcAbc.c | |
| parent | 32712ec9abb3f27e3bd00690838b054f5bdc0f77 (diff) | |
| download | abc-2fe17c1f4bf2a4df4076ad2fee336f568c52786f.tar.gz abc-2fe17c1f4bf2a4df4076ad2fee336f568c52786f.tar.bz2 abc-2fe17c1f4bf2a4df4076ad2fee336f568c52786f.zip | |
Word-level abstraction.
Diffstat (limited to 'src/base/wlc/wlcAbc.c')
| -rw-r--r-- | src/base/wlc/wlcAbc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcAbc.c b/src/base/wlc/wlcAbc.c index e19aaaec..1836f4ed 100644 --- a/src/base/wlc/wlcAbc.c +++ b/src/base/wlc/wlcAbc.c @@ -218,8 +218,8 @@ Vec_Int_t * Wlc_NtkGetPut( Abc_Ntk_t * pNtk, Gia_Man_t * pGia ) pName = Abc_ObjName(pFanin); if ( pNames ) { - Value = Abc_NamStrFind(pNames, pName) - 1; - if ( Value == -1 ) + Value = Abc_NamStrFind(pNames, pName) - 1 - Gia_ManPiNum(pGia); + if ( Value < 0 ) { if ( Counter++ == 0 ) printf( "Cannot read input name \"%s\" of fanin %d.\n", pName, i ); |