From 303baf27cf34c2a57db97c4c567fd744241fa14b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Jul 2008 08:01:00 -0700
Subject: Version abc80702

---
 src/aig/nwk/nwkUtil.c | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/aig/nwk/nwkUtil.c')

diff --git a/src/aig/nwk/nwkUtil.c b/src/aig/nwk/nwkUtil.c
index 14f7632f..d6daca4e 100644
--- a/src/aig/nwk/nwkUtil.c
+++ b/src/aig/nwk/nwkUtil.c
@@ -261,7 +261,7 @@ void Nwk_ManDumpBlif( Nwk_Man_t * pNtk, char * pFileName, Vec_Ptr_t * vPiNames,
     Aig_MmFlex_t * pMem;
     char * pSop = NULL;
     unsigned * pTruth;
-    int i, k, nDigits, Counter = 0;
+    int i, k, nDigits;
     if ( Nwk_ManPoNum(pNtk) == 0 )
     {
         printf( "Nwk_ManDumpBlif(): Network does not have POs.\n" );
@@ -278,7 +278,7 @@ void Nwk_ManDumpBlif( Nwk_Man_t * pNtk, char * pFileName, Vec_Ptr_t * vPiNames,
     fprintf( pFile, ".inputs" );
     Nwk_ManForEachCi( pNtk, pObj, i )
         if ( vPiNames )
-            fprintf( pFile, " %s", Vec_PtrEntry(vPiNames, i) );
+            fprintf( pFile, " %s", (char*)Vec_PtrEntry(vPiNames, i) );
         else
             fprintf( pFile, " n%0*d", nDigits, pObj->Id );
     fprintf( pFile, "\n" );
@@ -286,7 +286,7 @@ void Nwk_ManDumpBlif( Nwk_Man_t * pNtk, char * pFileName, Vec_Ptr_t * vPiNames,
     fprintf( pFile, ".outputs" );
     Nwk_ManForEachCo( pNtk, pObj, i )
         if ( vPoNames )
-            fprintf( pFile, " %s", Vec_PtrEntry(vPoNames, i) );
+            fprintf( pFile, " %s", (char*)Vec_PtrEntry(vPoNames, i) );
         else
             fprintf( pFile, " n%0*d", nDigits, pObj->Id );
     fprintf( pFile, "\n" );
@@ -310,7 +310,7 @@ void Nwk_ManDumpBlif( Nwk_Man_t * pNtk, char * pFileName, Vec_Ptr_t * vPiNames,
         {
             Nwk_ObjForEachFanin( pObj, pFanin, k )
                 if ( vPiNames && Nwk_ObjIsPi(pFanin) )
-                    fprintf( pFile, " %s", Vec_PtrEntry(vPiNames, Nwk_ObjPioNum(pFanin)) );
+                    fprintf( pFile, " %s", (char*)Vec_PtrEntry(vPiNames, Nwk_ObjPioNum(pFanin)) );
                 else
                     fprintf( pFile, " n%0*d", nDigits, pFanin->Id );
         }
@@ -327,11 +327,11 @@ void Nwk_ManDumpBlif( Nwk_Man_t * pNtk, char * pFileName, Vec_Ptr_t * vPiNames,
     {
         fprintf( pFile, ".names" );
         if ( vPiNames && Nwk_ObjIsPi(Nwk_ObjFanin0(pObj)) )
-            fprintf( pFile, " %s", Vec_PtrEntry(vPiNames, Nwk_ObjPioNum(Nwk_ObjFanin0(pObj))) );
+            fprintf( pFile, " %s", (char*)Vec_PtrEntry(vPiNames, Nwk_ObjPioNum(Nwk_ObjFanin0(pObj))) );
         else
             fprintf( pFile, " n%0*d", nDigits, Nwk_ObjFanin0(pObj)->Id );
         if ( vPoNames )
-            fprintf( pFile, " %s\n", Vec_PtrEntry(vPoNames, Nwk_ObjPioNum(pObj)) );
+            fprintf( pFile, " %s\n", (char*)Vec_PtrEntry(vPoNames, Nwk_ObjPioNum(pObj)) );
         else
             fprintf( pFile, " n%0*d\n", nDigits, pObj->Id );
         fprintf( pFile, "%d 1\n", !pObj->fInvert );
-- 
cgit v1.2.3