From dd87461ac9c0876c4b8f085e973db5449e379b73 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 2 Aug 2021 16:48:52 -0700
Subject: Experiments with LUT mapping for small functions.

---
 src/aig/gia/giaMinLut2.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/aig/gia/giaMinLut2.c')

diff --git a/src/aig/gia/giaMinLut2.c b/src/aig/gia/giaMinLut2.c
index 277ce949..85cae0d2 100644
--- a/src/aig/gia/giaMinLut2.c
+++ b/src/aig/gia/giaMinLut2.c
@@ -536,7 +536,6 @@ static inline word Abc_TtSimple6Min_rec( Gia_Man_t * p, word uF, word uC, int nV
     if ( 1 && vNodes )
     {
         int iLit;
-        int s = 0;
         Vec_WrdForEachEntryDouble( vNodes, uRes2, iLit, i )
             if ( !((uF ^ uRes2) & uC) )
             {
-- 
cgit v1.2.3