From 484ab7a17be9e72bb066677d60a0dcb0ab35436c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 30 Aug 2012 19:54:17 -0700
Subject: Improvements to gate-sizing.

---
 src/map/scl/sclSize.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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
-- 
cgit v1.2.3