diff options
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaAiger.c | 2 | ||||
-rw-r--r-- | src/aig/gia/giaUtil.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 817a15fe..c2c0e969 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -399,7 +399,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi while ( *pCur == ' ' ) pCur++; // skip till the end of line - for ( pName = pCur; *pCur && *pCur != '\n'; pCur++ ); + for ( pName = (char *)pCur; *pCur && *pCur != '\n'; pCur++ ); if ( *pCur == '\n' ) *pCur = 0; // save the name diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 0a40e63e..431be5b7 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -2618,7 +2618,7 @@ Gia_Man_t * Gia_ManComputeCofs2( Gia_Man_t * p ) Gia_ManForEachCi( p, pObj, i ) { pObj->Value = Gia_ManAppendCi(pNew); - assert( pObj->Value = Abc_Var2Lit( 1 + Gia_ObjCioId(pObj), 0 ) ); + assert( (int)pObj->Value == Abc_Var2Lit( 1 + Gia_ObjCioId(pObj), 0 ) ); } Gia_ManHashAlloc( pNew ); Gia_ManForEachRi( p, pSink, o ) |