diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-04 23:55:19 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-04 23:55:19 +0800 |
| commit | 421362f70924e78468fc784ce388596dc9f4c062 (patch) | |
| tree | 25f264da884352484c8e968d04dd0d4a89ecdbe9 /src/base | |
| parent | 79a4038f21733b5f36887f2ca1cc248802e3d3cb (diff) | |
| download | abc-421362f70924e78468fc784ce388596dc9f4c062.tar.gz abc-421362f70924e78468fc784ce388596dc9f4c062.tar.bz2 abc-421362f70924e78468fc784ce388596dc9f4c062.zip | |
Bug fix in a recent code for mapping.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcDfs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcDfs.c b/src/base/abc/abcDfs.c index 7eac765d..08b62389 100644 --- a/src/base/abc/abcDfs.c +++ b/src/base/abc/abcDfs.c @@ -985,7 +985,7 @@ Vec_Ptr_t * Abc_AigDfsMap( Abc_Ntk_t * pNtk ) if ( i >= Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) break; Abc_AigDfs_rec( Abc_ObjFanin0(pNode), vNodes ); - assert( Abc_ObjIsPo(pNode) ); + assert( Abc_ObjIsCo(pNode) ); Abc_NodeSetTravIdCurrent( pNode ); } return vNodes; |