summaryrefslogtreecommitdiffstats
path: root/src/misc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-10-15 14:26:44 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-10-15 14:26:44 -0700
commit3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07 (patch)
treeb3b67411e724e1bd414cad3923db7b3e9ae45738 /src/misc
parent70cb236144cb9d4309f45bc132aa6765ddd5e045 (diff)
downloadabc-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.h6
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*************************************************************