From 9c8be56ccd76eecf43f59fe26fef3d8978213ed8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 6 Sep 2012 15:32:07 -0700
Subject: Integrated new fast semi-canonical form for Boolean functions up to
 16 inputs.

---
 src/map/if/ifDec16.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/if/ifDec16.c')

diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c
index cc1a06f3..1abf5fca 100644
--- a/src/map/if/ifDec16.c
+++ b/src/map/if/ifDec16.c
@@ -1585,7 +1585,7 @@ If_Grp_t If_CluCheck( If_Man_t * p, word * pTruth0, int nVars, int iVarStart, in
         short pStore[32];
         unsigned uCanonPhase;
         If_CluCopy( pF, pTruth, nVars );
-        uCanonPhase = Kit_TruthSemiCanonicize( pF, pG, nVars, pCanonPerm, pStore );
+        uCanonPhase = Kit_TruthSemiCanonicize( pF, pG, nVars, pCanonPerm );
         G1.nVars = 1;
         return G1;
     }
-- 
cgit v1.2.3