From 3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 15 Oct 2014 14:26:44 -0700
Subject: Bug fix in truth table computation.
---
src/misc/vec/vecStr.h | 6 ++++++
1 file changed, 6 insertions(+)
(limited to 'src/misc/vec')
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*************************************************************
--
cgit v1.2.3