diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-09 09:35:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-09 09:35:58 -0700 |
| commit | f4d72b2af23afccaf8f69d28adad5cecd9afc5da (patch) | |
| tree | 6f8d0c06224cf7756b0f9071c0f09a1468d32c1c | |
| parent | f6a3c28e88121e8b4324b87ca2d316172ffe16e4 (diff) | |
| download | abc-f4d72b2af23afccaf8f69d28adad5cecd9afc5da.tar.gz abc-f4d72b2af23afccaf8f69d28adad5cecd9afc5da.tar.bz2 abc-f4d72b2af23afccaf8f69d28adad5cecd9afc5da.zip | |
Temp change in the AIG reader and minor tuning.
| -rw-r--r-- | src/aig/gia/giaAiger.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index eaad7dc9..7ceff2fb 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -663,8 +663,8 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS int i, nRegs; pCur++; pCurTemp = pCur + Gia_AigerReadInt(pCur) + 4; pCur += 4; - //nRegs = Gia_AigerReadInt(pCur); pCur += 4; - nRegs = (pCurTemp - pCur)/4; + nRegs = Gia_AigerReadInt(pCur); pCur += 4; + //nRegs = (pCurTemp - pCur)/4; pNew->vRegClasses = Vec_IntAlloc( nRegs ); for ( i = 0; i < nRegs; i++ ) Vec_IntPush( pNew->vRegClasses, Gia_AigerReadInt(pCur) ), pCur += 4; |