diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-15 14:26:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-15 14:26:44 -0700 |
| commit | 3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07 (patch) | |
| tree | b3b67411e724e1bd414cad3923db7b3e9ae45738 /src/misc | |
| parent | 70cb236144cb9d4309f45bc132aa6765ddd5e045 (diff) | |
| download | abc-3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07.tar.gz abc-3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07.tar.bz2 abc-3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07.zip | |
Bug fix in truth table computation.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/vec/vecStr.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/misc/vec/vecStr.h b/src/misc/vec/vecStr.h index 25a83c70..f8452bdd 100644 --- a/src/misc/vec/vecStr.h +++ b/src/misc/vec/vecStr.h @@ -634,6 +634,12 @@ static inline void Vec_StrAppend( Vec_Str_t * p, const char * pString ) { Vec_StrPrintStr( p, pString ); } +static inline void Vec_StrCopy( Vec_Str_t * p, const char * pString ) +{ + Vec_StrClear( p ); + Vec_StrAppend( p, pString ); + Vec_StrPush( p, '\0' ); +} /**Function************************************************************* |