From d5cfb39a48ce3540e8c0c65e8075ab6a09f20da9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 18 Feb 2015 20:44:55 -0800
Subject: Modifications to read SMTLIB file from stdin.

---
 src/base/wlc/wlcStdin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/wlc/wlcStdin.c b/src/base/wlc/wlcStdin.c
index 6eea5f08..bb9c9614 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 );
-- 
cgit v1.2.3