From 3020d57ea67f7f897c93524b9c3025767db3933b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 29 Jan 2017 13:39:35 -0800
Subject: Commenting out debug code.

---
 src/base/wlc/wlcReadVer.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src')

diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c
index 16de4943..e4a65ecf 100644
--- a/src/base/wlc/wlcReadVer.c
+++ b/src/base/wlc/wlcReadVer.c
@@ -429,7 +429,6 @@ char * Wlc_PrsConvertInitValues( Wlc_Ntk_t * p )
     Vec_Str_t * vStr = Vec_StrAlloc( 1000 );
     Vec_IntForEachEntry( p->vInits, Value, i )
     {
-        char * pname = Wlc_ObjName( p, Value );
         if ( Value < 0 )
         {
             for ( k = 0; k < -Value; k++ )
-- 
cgit v1.2.3