Temp change in the AIG reader and minor tuning.

f4d72b2a · Alan Mishchenko · f6a3c28e · f4d72b2a
Commit f4d72b2a authored Jul 09, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/aig/gia/giaAiger.c
+2 -2

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