From 45bf6324528bbaf60f8239da1ecac9cfa4e07c00 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 24 Oct 2015 18:53:18 -0700
Subject: Changes for delay-oriented computation.

---
 src/misc/vec/vecWec.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc/vec')

diff --git a/src/misc/vec/vecWec.h b/src/misc/vec/vecWec.h
index b09852ff..e4e92503 100644
--- a/src/misc/vec/vecWec.h
+++ b/src/misc/vec/vecWec.h
@@ -286,7 +286,7 @@ static inline void Vec_WecPush( Vec_Wec_t * p, int Level, int Entry )
 {
     if ( p->nSize < Level + 1 )
     {
-        Vec_WecGrow( p, Abc_MaxInt(2*p->nCap, Level + 1) );
+        Vec_WecGrow( p, Abc_MaxInt(2*p->nSize, Level + 1) );
         p->nSize = Level + 1;
     }
     Vec_IntPush( Vec_WecEntry(p, Level), Entry );
-- 
cgit v1.2.3