From 2d316b86e29704c28487533518bf67f2672fcd8f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Feb 2012 00:06:39 -0800
Subject: Silencing some of the gcc warnings.

---
 src/map/mio/exp.h | 2 +-
 src/map/mio/mio.c | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/map/mio')

diff --git a/src/map/mio/exp.h b/src/map/mio/exp.h
index 40dff2e8..a76f33cb 100644
--- a/src/map/mio/exp.h
+++ b/src/map/mio/exp.h
@@ -153,7 +153,7 @@ static inline Vec_Int_t * Exp_Or( int * pMan, int nVars, Vec_Int_t * p0, Vec_Int
 }
 static inline Vec_Int_t * Exp_Xor( int * pMan, int nVars, Vec_Int_t * p0, Vec_Int_t * p1 )
 {
-    int i, v = 0, Len0 = Vec_IntSize(p0), Len1 = Vec_IntSize(p1);
+    int i, Len0 = Vec_IntSize(p0), Len1 = Vec_IntSize(p1);
     Vec_Int_t * r = Vec_IntAlloc( Len0 + Len1 + 5 );
     assert( (Len0 & 1) && (Len1 & 1) );
     Vec_IntPush( r, 2 * (nVars + Len0/2 + Len1/2 + 2)     );
diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c
index f7eddab2..a4596c9f 100644
--- a/src/map/mio/mio.c
+++ b/src/map/mio/mio.c
@@ -41,7 +41,7 @@ static int Mio_CommandPrintLibrary( Abc_Frame_t * pAbc, int argc, char **argv );
 
 static int Mio_CommandReadLibrary2( Abc_Frame_t * pAbc, int argc, char **argv );
 static int Mio_CommandPrintLibrary2( Abc_Frame_t * pAbc, int argc, char **argv );
-
+/*
 // internal version of GENLIB library
 static char * pMcncGenlib[25] = {
     "GATE inv1    1   O=!a;             PIN * INV     1 999 0.9 0.0 0.9 0.0\n",
@@ -66,7 +66,7 @@ static char * pMcncGenlib[25] = {
     "GATE zero    0   O=CONST0;\n",
     "GATE one     0   O=CONST1;\n"
 };
-
+*/
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3