diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-18 21:04:36 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-18 21:04:36 -0800 |
| commit | ba6095ce610ce582dd390fadcdc3ae7a71c66f7d (patch) | |
| tree | 39f2c1887231465c9e602134451d0659e98457d9 /src | |
| parent | 4cd7895d6cb7c3a41c8abfcbc48627d54e17376f (diff) | |
| download | abc-ba6095ce610ce582dd390fadcdc3ae7a71c66f7d.tar.gz abc-ba6095ce610ce582dd390fadcdc3ae7a71c66f7d.tar.bz2 abc-ba6095ce610ce582dd390fadcdc3ae7a71c66f7d.zip | |
Modifications to read SMTLIB file from stdin.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/wlc/wlcReadSmt.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index 49463aae..7093d79d 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -621,7 +621,6 @@ Wlc_Ntk_t * Prs_SmtBuild( Prs_Smt_t * p ) assert( Vec_IntEntry(&p->vData, i) == 0 ); if ( Vec_IntEntry(&p->vData, ++i) == PRS_SMT_INPUT ) { - int NameOld = Vec_IntEntry(&p->vData, i+1); pName = Abc_NamStr( p->pStrs, Vec_IntEntry(&p->vData, ++i) ); pBits = Abc_NamStr( p->pStrs, Vec_IntEntry(&p->vData, ++i) ); iObj = Wlc_ObjAlloc( pNtk, WLC_OBJ_PI, 0, atoi(pBits)-1, 0 ); |