From 5c8ee4a2c142d133afe4cbfe567b300fe4d040a8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 29 Jul 2020 19:50:10 -0700
Subject: New ways of reading MiniAIG.

---
 src/aig/gia/giaMini.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c
index ead5e736..7a18d2d2 100644
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -1028,7 +1028,7 @@ void Gia_MiniAigGenerateFromFile()
     Vec_Int_t * vMapOut  = Vec_IntStart( Vec_IntSize(vTriples) );
     Vec_Int_t * vPis = Vec_IntAlloc( 100 );
     Vec_Int_t * vPos = Vec_IntAlloc( 100 );
-    int i, ObjOut, ObjIn, nIns = 0, nOuts = 0;
+    int i, ObjOut, ObjIn;
     assert( Vec_IntSize(vTriples) % 3 == 0 );
     for ( i = 0; i < Vec_IntSize(vTriples)/3; i++ )
     {
-- 
cgit v1.2.3