diff options
Diffstat (limited to 'src/aig/gia/giaResub.c')
| -rw-r--r-- | src/aig/gia/giaResub.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaResub.c b/src/aig/gia/giaResub.c index 4b196fa4..b8c0e294 100644 --- a/src/aig/gia/giaResub.c +++ b/src/aig/gia/giaResub.c @@ -261,7 +261,7 @@ void Gia_ManAddDivisors( Gia_Man_t * p, Vec_Wec_t * vMffcs ) void Gia_ManResubTest( Gia_Man_t * p ) { Vec_Wec_t * vMffcs; - Gia_Man_t * pNew = Gia_ManDupMuxes( p ); + Gia_Man_t * pNew = Gia_ManDupMuxes( p, 2 ); abctime clkStart = Abc_Clock(); vMffcs = Gia_ManComputeMffcs( pNew, 4, 100, 8, 100 ); Gia_ManAddDivisors( pNew, vMffcs ); |