diff options
Diffstat (limited to 'src/aig/gia/giaSpeedup.c')
| -rw-r--r-- | src/aig/gia/giaSpeedup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaSpeedup.c b/src/aig/gia/giaSpeedup.c index be9a8654..835f2c15 100644 --- a/src/aig/gia/giaSpeedup.c +++ b/src/aig/gia/giaSpeedup.c @@ -279,7 +279,7 @@ float Gia_ManDelayTraceLut( Gia_Man_t * p ) if ( p->pManTime ) { Tim_ManIncrementTravId( (Tim_Man_t *)p->pManTime ); - Tim_ManSetCoRequiredAll( (Tim_Man_t *)p->pManTime, tArrival ); + Tim_ManInitPoRequiredAll( (Tim_Man_t *)p->pManTime, tArrival ); } else { |