Skip to content

A
abc
Commit c50d108f by Alan Mishchenko
Options

Debugging a proof error.

parent 5ec4db2d
Showing with 1 additions and 0 deletions
src/misc/vec/vecSet.h
...@@ -238,6 +238,7 @@ static inline int Vec_SetAppendS( Vec_Set_t * p, int nSize ) ...@@ -238,6 +238,7 @@ static inline int Vec_SetAppendS( Vec_Set_t * p, int nSize )
if ( Vec_SetLimitS( p->pPages[p->iPageS] ) + nWords >= (1 << p->nPageSize) ) if ( Vec_SetLimitS( p->pPages[p->iPageS] ) + nWords >= (1 << p->nPageSize) )
Vec_SetWriteLimitS( p->pPages[++p->iPageS], 2 ); Vec_SetWriteLimitS( p->pPages[++p->iPageS], 2 );
Vec_SetIncLimitS( p->pPages[p->iPageS], nWords ); Vec_SetIncLimitS( p->pPages[p->iPageS], nWords );
assert( Vec_SetHandCurrentS(p) - nWords < (1 << p->nPageSize) );
return Vec_SetHandCurrentS(p) - nWords; return Vec_SetHandCurrentS(p) - nWords;
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment