diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-30 19:54:17 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-30 19:54:17 -0700 |
| commit | 484ab7a17be9e72bb066677d60a0dcb0ab35436c (patch) | |
| tree | 59e139a9e7199a5e9aecbe06cbcff6ee0ff9c8da /src/map | |
| parent | b8b478c8d891a00a2dca8013416d0291bb465012 (diff) | |
| download | abc-484ab7a17be9e72bb066677d60a0dcb0ab35436c.tar.gz abc-484ab7a17be9e72bb066677d60a0dcb0ab35436c.tar.bz2 abc-484ab7a17be9e72bb066677d60a0dcb0ab35436c.zip | |
Improvements to gate-sizing.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/scl/sclSize.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c index 886cf32b..633e7331 100644 --- a/src/map/scl/sclSize.c +++ b/src/map/scl/sclSize.c @@ -146,6 +146,7 @@ Vec_Int_t * Abc_SclFindCriticalPath( SC_Man * p, int Range, Vec_Int_t ** pvPivot pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj ); } } + Vec_IntUniqify( vPath ); if ( pvPivots ) *pvPivots = vPivots; else |