From 3eae30a3c3f8799471821ec28f6bd993770f72d8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 24 Apr 2011 14:40:36 -0700
Subject: Added support for AIG returned in the output file.

---
 src/aig/gia/giaAiger.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/aig/gia/giaAiger.c')

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 74171c2b..132bf18c 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -763,7 +763,8 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
             // get terminal number
             iTerm = atoi( (char *)++pCur );  while ( *pCur++ != ' ' );
             // skip spaces
-            while ( *pCur++ == ' ' );
+            while ( *pCur == ' ' )
+                pCur++;
             // decode the user numbers:
             // flops are named: @l<num>
             // PIs are named: @i<num>
-- 
cgit v1.2.3