Experiments with memory abstraction.

src/base/wlc/wlcBlast.c

@@ -2188,7 +2188,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn )
         for ( i = 0; i < Length; i++ )
         {
             char Buffer[100];
-            sprintf( Buffer, "%c%s", p->pInits[i], Vec_PtrEntry(pNew->vNamesIn, NameStart+i) );
+            sprintf( Buffer, "%c%s", p->pInits[i], (char *)Vec_PtrEntry(pNew->vNamesIn, NameStart+i) );
             assert( Vec_PtrEntry(pNew->vNamesIn, NullStart+i) == NULL );
             Vec_PtrWriteEntry( pNew->vNamesIn, NullStart+i, Abc_UtilStrsav(Buffer) );
         }

src/base/wlc/wlcCom.c

@@ -1811,7 +1811,7 @@ usage:
 int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     extern void Wlc_NtkSimulateTest( Wlc_Ntk_t * p );
-    Wlc_Ntk_t * pNtk = Wlc_AbcGetNtk(pAbc);
+    //Wlc_Ntk_t * pNtk = Wlc_AbcGetNtk(pAbc);
     int c, fVerbose  = 0;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )

src/base/wln/wlnWlc.c

@@ -44,7 +44,7 @@ extern int Ndr_TypeWlc2Ndr( int Type );
   SeeAlso     []
 
 ***********************************************************************/
-char * Wln_ConstFromBits( unsigned * pBits, int nBits )
+char * Wln_ConstFromBits( int * pBits, int nBits )
 {
     char * pBuffer = ABC_ALLOC( char, nBits+100 ); int i, Len;
     sprintf( pBuffer, "%d\'b", nBits );