diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-11 16:52:46 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-11 16:52:46 -0800 |
| commit | d071e0261630142b97c50ffc7740375c6b671da7 (patch) | |
| tree | 967f6ef86f28bac9d425fb04d989c2bf55e43bae /src/base/wlc/wlcReadVer.c | |
| parent | 36585eff57d16171bb4a53fdc6348613d44eabe6 (diff) | |
| download | abc-d071e0261630142b97c50ffc7740375c6b671da7.tar.gz abc-d071e0261630142b97c50ffc7740375c6b671da7.tar.bz2 abc-d071e0261630142b97c50ffc7740375c6b671da7.zip | |
Updated for memory abstraction.
Diffstat (limited to 'src/base/wlc/wlcReadVer.c')
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index e2b61c6f..db2cf3b2 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -892,7 +892,7 @@ int Wlc_PrsReadDeclaration( Wlc_Prs_t * p, char * pStart ) } while ( 1 ) { - char * pName; int XValue; + char * pName; int XValue, TypeNew; // read name pStart = Wlc_PrsFindName( pStart, &pName ); if ( pStart == NULL ) @@ -911,11 +911,11 @@ int Wlc_PrsReadDeclaration( Wlc_Prs_t * p, char * pStart ) continue; } // check definition - Type = Wlc_PrsFindDefinition( p, pStart, p->vFanins, &XValue ); - if ( Type ) + TypeNew = Wlc_PrsFindDefinition( p, pStart, p->vFanins, &XValue ); + if ( TypeNew ) { Wlc_Obj_t * pObj = Wlc_NtkObj( p->pNtk, iObj ); - Wlc_ObjUpdateType( p->pNtk, pObj, Type ); + Wlc_ObjUpdateType( p->pNtk, pObj, TypeNew ); Wlc_ObjAddFanins( p->pNtk, pObj, p->vFanins ); pObj->fXConst = XValue; } |