diff options
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/tim/tim.h | 2 | ||||
| -rw-r--r-- | src/misc/vec/vecWrd.h | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index d921bcc5..9a7667d5 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -45,7 +45,7 @@ typedef struct Tim_Man_t_ Tim_Man_t; /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// -#define TIM_ETERNITY 10000 +#define TIM_ETERNITY 1000000000 //////////////////////////////////////////////////////////////////////// /// ITERATORS /// diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index 046ecf2a..11414ff7 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -251,6 +251,12 @@ static inline Vec_Wrd_t * Vec_WrdDupArray( Vec_Wrd_t * pVec ) SeeAlso [] ***********************************************************************/ +static inline void Vec_WrdErase( Vec_Wrd_t * p ) +{ + ABC_FREE( p->pArray ); + p->nSize = 0; + p->nCap = 0; +} static inline void Vec_WrdFree( Vec_Wrd_t * p ) { ABC_FREE( p->pArray ); |