diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-20 19:52:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-20 19:52:45 -0700 |
| commit | 25538c23c51a5b79af3f70d4c15f2a6f86b98189 (patch) | |
| tree | 23572fbd764e3c6ee79ba32bc36e61e0b2706a82 /src/aig/gia/giaIso3.c | |
| parent | 22d9b1d38b27a6a4c4f4b3b8f489704eed943351 (diff) | |
| download | abc-25538c23c51a5b79af3f70d4c15f2a6f86b98189.tar.gz abc-25538c23c51a5b79af3f70d4c15f2a6f86b98189.tar.bz2 abc-25538c23c51a5b79af3f70d4c15f2a6f86b98189.zip | |
Fixing new resub code.
Diffstat (limited to 'src/aig/gia/giaIso3.c')
| -rw-r--r-- | src/aig/gia/giaIso3.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/aig/gia/giaIso3.c b/src/aig/gia/giaIso3.c index a151033a..8bea4bbf 100644 --- a/src/aig/gia/giaIso3.c +++ b/src/aig/gia/giaIso3.c @@ -182,7 +182,6 @@ Vec_Wec_t * Gia_Iso4Gia( Gia_Man_t * p ) { Gia_ManForEachObjVec( vLevel, p, pObj, i ) { - Gia_Obj_t * pfanin = Gia_ObjFanin0(pObj); assert( Gia_ObjIsCo(pObj) ); pObj->Value = Abc_Random(0); Gia_ObjFanin0(pObj)->Value += pObj->Value + RandC[Gia_ObjFaninC0(pObj)]; |