summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaAiger.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 453db141..a78ddf81 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -737,9 +737,9 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
{
int fBreakUsed = 0;
char * pCurOld = pCur;
- pNew->vUserPiIds = Vec_IntStartFull( Gia_ManPiNum(pNew) );
- pNew->vUserPoIds = Vec_IntStartFull( Gia_ManPoNum(pNew) );
- pNew->vUserFfIds = Vec_IntStartFull( Gia_ManRegNum(pNew) );
+ pNew->vUserPiIds = Vec_IntStartFull( nInputs );
+ pNew->vUserPoIds = Vec_IntStartFull( nOutputs );
+ pNew->vUserFfIds = Vec_IntStartFull( nLatches );
while ( (char *)pCur < pContents + nFileSize && *pCur != 'c' )
{
int iTerm;