diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-25 14:11:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-25 14:11:34 -0700 |
| commit | a162b1f47aa4d3c38439d779c7ad943102c63bc5 (patch) | |
| tree | 34b94cf9e9322a84fabea7f6a000dfd6df3fed55 /src/misc/vec | |
| parent | 62180f357678df2be0b678bec33ac8e8b36945b8 (diff) | |
| download | abc-a162b1f47aa4d3c38439d779c7ad943102c63bc5.tar.gz abc-a162b1f47aa4d3c38439d779c7ad943102c63bc5.tar.bz2 abc-a162b1f47aa4d3c38439d779c7ad943102c63bc5.zip | |
Experimental simulation commands.
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 1c5ac71d..00eda198 100644 --- a/src/misc/vec/vecWec.h +++ b/src/misc/vec/vecWec.h @@ -422,7 +422,7 @@ static inline Vec_Wec_t * Vec_WecDup( Vec_Wec_t * p ) Vec_Wec_t * vNew; Vec_Int_t * vVec; int i, k, Entry; - vNew = Vec_WecAlloc( Vec_WecSize(p) ); + vNew = Vec_WecStart( Vec_WecSize(p) ); Vec_WecForEachLevel( p, vVec, i ) Vec_IntForEachEntry( vVec, Entry, k ) Vec_WecPush( vNew, i, Entry ); |