Modifications to read SMTLIB file from stdin.

d5cfb39a · Alan Mishchenko · 6b0accd2 · d5cfb39a
Commit d5cfb39a authored Feb 18, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/wlc/wlcStdin.c
+1 -1

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