diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-25 19:34:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-25 19:34:28 -0700 |
| commit | 0806dd227ce57522de07d0a618bd7f3fe93da7fb (patch) | |
| tree | ce0741d80217db8c17662bd08d881e62f5faa753 /src/misc/vec/vecInt.h | |
| parent | e0630f83f5d69707c6345251cbebec0911a15fb3 (diff) | |
| download | abc-0806dd227ce57522de07d0a618bd7f3fe93da7fb.tar.gz abc-0806dd227ce57522de07d0a618bd7f3fe93da7fb.tar.bz2 abc-0806dd227ce57522de07d0a618bd7f3fe93da7fb.zip | |
Updates to the Cba data-structure.
Diffstat (limited to 'src/misc/vec/vecInt.h')
| -rw-r--r-- | src/misc/vec/vecInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index c84fd01c..2487911a 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -1957,7 +1957,7 @@ static inline void Vec_IntRemapArray( Vec_Int_t * vOld2New, Vec_Int_t * vOld, Ve return; Vec_IntFill( vNew, nNew, 0 ); Vec_IntForEachEntry( vOld2New, iNew, iOld ) - if ( iNew > 0 && iNew < nNew && Vec_IntEntry(vOld, iOld) != 0 ) + if ( iNew > 0 && iNew < nNew && iOld < Vec_IntSize(vOld) && Vec_IntEntry(vOld, iOld) != 0 ) Vec_IntWriteEntry( vNew, iNew, Vec_IntEntry(vOld, iOld) ); } |