diff options
Diffstat (limited to 'src/aig/cec')
| -rw-r--r-- | src/aig/cec/cecSweep.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/cec/cecSweep.c b/src/aig/cec/cecSweep.c index 97f5e36a..7d59515e 100644 --- a/src/aig/cec/cecSweep.c +++ b/src/aig/cec/cecSweep.c @@ -45,7 +45,7 @@ ABC_NAMESPACE_IMPL_START Gia_Man_t * Cec_ManFraSpecReduction( Cec_ManFra_t * p ) { Gia_Man_t * pNew, * pTemp; - Gia_Obj_t * pObj, * pRepr; + Gia_Obj_t * pObj, * pRepr = NULL; int iRes0, iRes1, iRepr, iNode, iMiter; int i, fCompl, * piCopies, * pDepths; Gia_ManSetPhase( p->pAig ); |