diff options
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaAigerExt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAigerExt.c b/src/aig/gia/giaAigerExt.c index fa79e589..041c17a1 100644 --- a/src/aig/gia/giaAigerExt.c +++ b/src/aig/gia/giaAigerExt.c @@ -119,7 +119,7 @@ Vec_Str_t * Gia_WriteEquivClasses( Gia_Man_t * p ) { int nEquivSize; unsigned char * pBuffer = Gia_WriteEquivClassesInt( p, &nEquivSize ); - return Vec_StrAllocArray( pBuffer, nEquivSize ); + return Vec_StrAllocArray( (char *)pBuffer, nEquivSize ); } /**Function************************************************************* @@ -202,7 +202,7 @@ Vec_Str_t * Gia_AigerWriteMapping( Gia_Man_t * p ) { int nMapSize; unsigned char * pBuffer = Gia_AigerWriteMappingInt( p, &nMapSize ); - return Vec_StrAllocArray( pBuffer, nMapSize ); + return Vec_StrAllocArray( (char *)pBuffer, nMapSize ); } /**Function************************************************************* |