Compiler warnings.

src/aig/miniaig/minilut.h

@@ -214,8 +214,8 @@ static Mini_Lut_t * Mini_LutLoad( char * pFileName )
     p->nSize   = p->nCap = nSize;
     RetValue = fread( &p->nRegs,   sizeof(int), 1, pFile );
     RetValue = fread( &p->LutSize, sizeof(int), 1, pFile );
-    p->pArray  = MINI_LUT_ALLOC( int, p->nCap * p->LutSize );
-    p->pTruths = MINI_LUT_ALLOC( int, p->nCap * Mini_LutWordNum(p->LutSize) );
+    p->pArray  = MINI_LUT_ALLOC( int,      p->nCap * p->LutSize );
+    p->pTruths = MINI_LUT_ALLOC( unsigned, p->nCap * Mini_LutWordNum(p->LutSize) );
     RetValue = fread( p->pArray,   sizeof(int), p->nCap * p->LutSize, pFile );
     RetValue = fread( p->pTruths,  sizeof(int), p->nCap * Mini_LutWordNum(p->LutSize), pFile );
     fclose( pFile );

src/base/abci/abc.c

@@ -11867,7 +11867,7 @@ int Abc_CommandTestColor( Abc_Frame_t * pAbc, int argc, char ** argv )
 ***********************************************************************/
 int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+    //Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
     int nCutMax      =  1;
     int nLeafMax     =  4;
     int nDivMax      =  2;

src/proof/acec/acecPolyn.c

@@ -429,7 +429,7 @@ void Gia_PolynBuild2( Gia_Man_t * pGia, int fSigned, int fVerbose, int fVeryVerb
 {
     Hsh_VecMan_t * pHashC = Hsh_VecManStart( 1000 );    // hash table for constants
     Hsh_VecMan_t * pHashM = Hsh_VecManStart( 1000 );    // hash table for monomials
-    Vec_Wec_t * vLit2Mono = Vec_WecStart( Gia_ManObjNum(pGia) * 2 );
+    //Vec_Wec_t * vLit2Mono = Vec_WecStart( Gia_ManObjNum(pGia) * 2 );
 
     Hsh_VecManStop( pHashC );
     Hsh_VecManStop( pHashM );