diff options
| -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 |