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