diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-07 10:43:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-07 10:43:01 -0700 |
| commit | c35471dac45b7df2c9ccebcb4a95a5b67212a3df (patch) | |
| tree | 12a739dc639a3e169fbe681478a281f2c585e88d /src | |
| parent | 173303b464cf1b3225d660d17f7265622def2073 (diff) | |
| download | abc-c35471dac45b7df2c9ccebcb4a95a5b67212a3df.tar.gz abc-c35471dac45b7df2c9ccebcb4a95a5b67212a3df.tar.bz2 abc-c35471dac45b7df2c9ccebcb4a95a5b67212a3df.zip | |
Scalable gate-level abstraction.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAbsRef.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c index 36dd0585..5b7bcee2 100644 --- a/src/aig/gia/giaAbsRef.c +++ b/src/aig/gia/giaAbsRef.c @@ -138,7 +138,8 @@ Rnm_Man_t * Rnm_ManStart( Gia_Man_t * pGia ) p->vObjs = Vec_IntAlloc( 100 ); p->nObjsAlloc = 10000; p->pObjs = ABC_ALLOC( Rnm_Obj_t, p->nObjsAlloc ); - Gia_ManStaticFanoutStart( p->pGia ); + if ( p->pGia->vFanout == NULL ) + Gia_ManStaticFanoutStart( p->pGia ); Gia_ManCleanValue(pGia); Gia_ManCleanMark0(pGia); Gia_ManCleanMark1(pGia); |