diff options
| -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; |