summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-03-08 20:23:53 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-03-08 20:23:53 -0700
commitf4d3bf859e2ea54db199eb20f251f9145eef8ee7 (patch)
tree45fb1127c3aa83a1c6721761d1a43556b78f2538 /src/aig
parent2cfc4cc174152f7688782ab1f25a2444ce640f61 (diff)
downloadabc-f4d3bf859e2ea54db199eb20f251f9145eef8ee7.tar.gz
abc-f4d3bf859e2ea54db199eb20f251f9145eef8ee7.tar.bz2
abc-f4d3bf859e2ea54db199eb20f251f9145eef8ee7.zip
Compiler warnings.
Diffstat (limited to 'src/aig')
-rw-r--r--src/aig/gia/giaAiger.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 6513d24e..bc40e4ca 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -677,7 +677,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
pCur++;
nSize = Gia_AigerReadInt(pCur);
pCurTemp = pCur + nSize + 4; pCur += 4;
- pNew->pCellStr = Abc_UtilStrsav( (char*)pCur ); pCur += strlen(pCur) + 1;
+ pNew->pCellStr = Abc_UtilStrsav( (char*)pCur ); pCur += strlen((char*)pCur) + 1;
nSize = nSize - strlen(pNew->pCellStr) - 1;
assert( nSize % 4 == 0 );
pNew->vConfigs = Vec_IntStart(nSize / 4);