diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c index 886cf32b1..633e73318 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