From f4d72b2af23afccaf8f69d28adad5cecd9afc5da Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 9 Jul 2015 09:35:58 -0700 Subject: Temp change in the AIG reader and minor tuning. --- src/aig/gia/giaAiger.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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; -- cgit v1.2.3