Commenting out debug code.

3020d57e · Alan Mishchenko · e9566a1e · 3020d57e
Commit 3020d57e authored Jan 29, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletions

src/base/wlc/wlcReadVer.c
+0 -1

No files found.
--- 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++ )