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