diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-26 14:30:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-26 14:30:42 -0700 |
| commit | cb439f2ecf000ebaab4447de120a95480b231ef5 (patch) | |
| tree | 68a0b3a5df89ebaf5c22fc93cd1bcd33bfb1f785 /src/misc/vec/vecInt.h | |
| parent | 41d18ca05113b33508cb67d10c2ec1fecfd4d4b2 (diff) | |
| download | abc-cb439f2ecf000ebaab4447de120a95480b231ef5.tar.gz abc-cb439f2ecf000ebaab4447de120a95480b231ef5.tar.bz2 abc-cb439f2ecf000ebaab4447de120a95480b231ef5.zip | |
Bug fix in Vec_IntInsert() and a couple of new APIs.
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 785b0aef..8ef1c364 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -1013,7 +1013,7 @@ static inline void Vec_IntDrop( Vec_Int_t * p, int i ) static inline void Vec_IntInsert( Vec_Int_t * p, int iHere, int Entry ) { int i; - assert( iHere >= 0 && iHere < p->nSize ); + assert( iHere >= 0 && iHere <= p->nSize ); Vec_IntPush( p, 0 ); for ( i = p->nSize - 1; i > iHere; i-- ) p->pArray[i] = p->pArray[i-1]; |