diff --git a/src/base/wlc/wlcStdin.c b/src/base/wlc/wlcStdin.c index 6eea5f087..bb9c96148 100644 --- a/src/base/wlc/wlcStdin.c +++ b/src/base/wlc/wlcStdin.c @@ -110,7 +110,7 @@ void Wlc_NtkReport( Wlc_Ntk_t * p, Abc_Cex_t * pCex, char * pName, int Radix ) { Vec_Str_t * vNum; Wlc_Obj_t * pObj; - int i, ObjId, Start, nBits; + int i, ObjId, Start, nBits = -1; assert( pCex->nRegs == 0 ); // get the node ID ObjId = Abc_NamStrFind( p->pManName, pName );