diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-24 18:53:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-24 18:53:18 -0700 |
| commit | 45bf6324528bbaf60f8239da1ecac9cfa4e07c00 (patch) | |
| tree | cbc0c6034d8667c0b8b966a225e8c286434217e4 /src/misc/vec | |
| parent | a43d8273b708c3e0dedc045dfa2b58ccea5978f5 (diff) | |
| download | abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.tar.gz abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.tar.bz2 abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.zip | |
Changes for delay-oriented computation.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecWec.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |