From 7e9f0df3f71b525ef9d95987cf8f510f5fc218b8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 2 Nov 2012 21:55:29 -0700
Subject: Bug fix in semi-canonical form computation.

---
 src/bool/lucky/luckySwap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bool/lucky/luckySwap.c')

diff --git a/src/bool/lucky/luckySwap.c b/src/bool/lucky/luckySwap.c
index b301d9a0..88ee63e1 100644
--- a/src/bool/lucky/luckySwap.c
+++ b/src/bool/lucky/luckySwap.c
@@ -254,7 +254,7 @@ unsigned  Kit_TruthSemiCanonicize_Yasha1( word* pInOut, int nVars, char * pCanon
     if ( nOnes == nWords * 32 )
         uCanonPhase |= (1 << (nVars+2));
     
-    if ( (nOnes > nWords * 32) )
+    else if ( (nOnes > nWords * 32) )
     {
         uCanonPhase |= (1 << nVars);
         Kit_TruthNot_64bit( pInOut, nVars );
-- 
cgit v1.2.3