diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 65519b826..c837763b3 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -495,7 +495,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS if ( pCur + 1 < (unsigned char *)pContents + nFileSize && *pCur == 'c' ) { Vec_Str_t * vStr; - char * pCurTemp; + unsigned char * pCurTemp; pCur++; while ( 1 ) {