diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-25 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-25 08:01:00 -0800 |
| commit | 00e9c3d06b590b0aac04bafddfd14115d14760f8 (patch) | |
| tree | ac9b977538874c9f3b16ac03de0fd7265d19e025 /src/aig/ntl/ntlDfs.c | |
| parent | 14c01eaccab87d14d1bd0eaa3fc491026349665e (diff) | |
| download | abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.tar.gz abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.tar.bz2 abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.zip | |
Version abc71225
Diffstat (limited to 'src/aig/ntl/ntlDfs.c')
| -rw-r--r-- | src/aig/ntl/ntlDfs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ntl/ntlDfs.c b/src/aig/ntl/ntlDfs.c index 6b5dc407..41867b29 100644 --- a/src/aig/ntl/ntlDfs.c +++ b/src/aig/ntl/ntlDfs.c @@ -100,7 +100,7 @@ int Ntl_ManDfs( Ntl_Man_t * p ) // collect primary inputs Ntl_ModelForEachPi( pRoot, pObj, i ) { - assert( Ntl_ObjNumFanouts(pObj) == 1 ); + assert( Ntl_ObjFanoutNum(pObj) == 1 ); pNet = Ntl_ObjFanout0(pObj); Vec_PtrPush( p->vCis, pNet ); if ( pNet->nVisits ) @@ -113,7 +113,7 @@ int Ntl_ManDfs( Ntl_Man_t * p ) // collect latch outputs Ntl_ModelForEachLatch( pRoot, pObj, i ) { - assert( Ntl_ObjNumFanouts(pObj) == 1 ); + assert( Ntl_ObjFanoutNum(pObj) == 1 ); pNet = Ntl_ObjFanout0(pObj); Vec_PtrPush( p->vCis, pNet ); if ( pNet->nVisits ) |