From 25538c23c51a5b79af3f70d4c15f2a6f86b98189 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 20 Jul 2020 19:52:45 -0700 Subject: Fixing new resub code. --- src/aig/gia/giaIso3.c | 1 - 1 file changed, 1 deletion(-) (limited to 'src/aig/gia/giaIso3.c') 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)]; -- cgit v1.2.3