From b2bd941a7e267bfa38e7708a1c4cebe03562401b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 13 Dec 2012 10:15:32 -0800
Subject: [PATCH] Unifification of custom extensions.

---
 src/aig/gia/giaAigerExt.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/aig/gia/giaAigerExt.c b/src/aig/gia/giaAigerExt.c
index fa79e5895..041c17a12 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*************************************************************