diff options
Diffstat (limited to 'src/sat/xsat/xsatBQueue.h')
-rw-r--r-- | src/sat/xsat/xsatBQueue.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sat/xsat/xsatBQueue.h b/src/sat/xsat/xsatBQueue.h index 560f75c0..f75f3650 100644 --- a/src/sat/xsat/xsatBQueue.h +++ b/src/sat/xsat/xsatBQueue.h @@ -125,8 +125,9 @@ static inline void xSAT_BQueuePush( xSAT_BQueue_t * p, unsigned Value ) ***********************************************************************/ static inline int xSAT_BQueuePop( xSAT_BQueue_t * p ) { + int RetValue; assert( p->nSize >= 1 ); - int RetValue = p->pData[p->iFirst]; + RetValue = p->pData[p->iFirst]; p->nSum -= RetValue; p->iFirst = ( p->iFirst + 1 ) % p->nCap; p->nSize--; |