From 03bb1e49bfcc148faaa4981bb3d758514adfeb4d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 1 Aug 2021 12:14:38 -0700
Subject: Experiments with LUT mapping for small functions.

---
 src/misc/util/utilTruth.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h
index 01a2a369..4c4b1422 100644
--- a/src/misc/util/utilTruth.h
+++ b/src/misc/util/utilTruth.h
@@ -1804,7 +1804,7 @@ static inline word Abc_Tt6Permute_rec( word t, int * pPerm, int nVars )
 }
 static inline void Abc_TtPermute( word * p, int * pPerm, int nVars )
 {
-    int v, nWords = Abc_TtWordNum(nVars), Perm[16];
+    int v, Perm[16];
     assert( nVars <= 16 );
     for ( v = 0; v < nVars; v++ )
         Perm[v] = pPerm[v];
-- 
cgit v1.2.3