5 files changed, 12 insertions, 12 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index e15b7402..16c9ffe7 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -25700,7 +25700,7 @@ usage:
 ***********************************************************************/
 int Abc_CommandAbc9Era( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    Gia_Man_t * pTemp = NULL;
+//    Gia_Man_t * pTemp = NULL;
     int c, fVerbose = 0;
     int fUseCubes = 1;
     int fMiter = 0;
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c
index a3a12b71..6c2296b9 100644
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -1485,12 +1485,12 @@ void Abc_NtkShow6VarFunc( char * pF0, char * pF1 )
     word F0, F1;
     if ( strlen(pF0) != 16 )
     {
-        printf( "Wrong length (%d) of 6-var truth table.\n", strlen(pF0) );
+        printf( "Wrong length (%d) of 6-var truth table.\n", (int)strlen(pF0) );
         return;
     }
     if ( strlen(pF1) != 16 )
     {
-        printf( "Wrong length (%d) of 6-var truth table.\n", strlen(pF1) );
+        printf( "Wrong length (%d) of 6-var truth table.\n", (int)strlen(pF1) );
         return;
     }
     Extra_ReadHexadecimal( (unsigned *)&F0, pF0, 6 );
diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c
index 93b17c37..303f9617 100644
--- a/src/base/io/ioWriteAiger.c
+++ b/src/base/io/ioWriteAiger.c
@@ -21,11 +21,17 @@
 
 // The code in this file is developed in collaboration with Mark Jarvin of Toronto.
 
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <assert.h>
+#include <time.h>
+#include <stdarg.h>
+
 #include "src/misc/bzlib/bzlib.h"
+#include "src/misc/zlib/zlib.h"
 #include "ioAbc.h"
 
-#include <stdarg.h>
-#include "src/misc/zlib/zlib.h"
 
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index d8d3f787..fe4266b0 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -388,8 +388,6 @@ void Io_NtkWritePos( FILE * pFile, Abc_Ntk_t * pNtk, int fWriteLatches )
     if ( pNtk->vRealNodes )
     {
         Abc_Obj_t * pObj;
-        int Num1 = Vec_IntSize(pNtk->vRealNodes);
-        int Num2 = Abc_NtkPoNum(pNtk)-pNtk->nRealPos;
         fprintf( pFile, "\n\n" );
         assert( Vec_IntSize(pNtk->vRealNodes) == Abc_NtkPoNum(pNtk)-pNtk->nRealPos );
         Abc_NtkForEachObjVec( pNtk->vRealNodes, pNtk, pObj, i )
@@ -723,7 +721,7 @@ void Io_NtkWriteNodeInt( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vCover )
         extern word If_Dec7Perform( word t[2], int fDerive );
 
         char * pSop;
-        word z, uTruth6, uTruth7[2], Cofs6[2], Cofs7[2][2];
+        word z, uTruth6 = 0, uTruth7[2], Cofs6[2], Cofs7[2][2];
         int c, iVar, nVarsMin[2], pVars[2][10];
 
         // collect variables
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c
index 1a924c31..4c40346c 100644
--- a/src/base/ver/verCore.c
+++ b/src/base/ver/verCore.c
@@ -2051,10 +2051,6 @@ int Ver_ParseConnectBox( Ver_Man_t * pMan, Abc_Obj_t * pBox )
     assert( Ver_NtkIsDefined(pNtkBox) );
     assert( !Abc_NtkHasBlackbox(pNtkBox) || Abc_NtkBoxNum(pNtkBox) == 1 );
 
-    if ( !strcmp(pNtkBox->pName,"add_4u_4u") )
-    {
-        int s = 0;
-    }
 /*
     // clean the PI/PO nets
     Abc_NtkForEachPi( pNtkBox, pTerm, i )