diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index 1c3aa4311a..f6592e4183 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -806,6 +806,7 @@ Gia_Man_t * Gia_ManEquivReduce2( Gia_Man_t * p ) Gia_ManHashStop( pNew ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); Vec_IntFree( vMap ); + Gia_ManTransferTiming( pNew, p ); return pNew; }