diff options
Diffstat (limited to 'src/aig/cec/cecSweep.c')
| -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 20a668bd..3024ac24 100644 --- a/src/aig/cec/cecSweep.c +++ b/src/aig/cec/cecSweep.c @@ -83,7 +83,7 @@ Gia_Man_t * Cec_ManFraSpecReduction( Cec_ManFra_t * p ) (Gia_ObjLevel(p->pAig, pObj) > p->pPars->nLevelMax || Gia_ObjLevel(p->pAig, pRepr) > p->pPars->nLevelMax) ) continue; - if ( p->pPars->fDoubleOuts ) + if ( p->pPars->fDualOut ) { // if ( i % 1000 == 0 && Gia_ObjRepr(p->pAig, i) ) // Gia_ManEquivPrintOne( p->pAig, Gia_ObjRepr(p->pAig, i), 0 ); |