Bug fix in semi-canonical form computation.

7e9f0df3 · Alan Mishchenko · c899645b · 7e9f0df3 · 7e9f0df3
Commit 7e9f0df3 authored Nov 02, 2012 by Alan Mishchenko
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/bool/lucky/luckyFast16.c
+0 -0

src/bool/lucky/luckySwap.c
+1 -1

No files found.
--- a/src/bool/lucky/luckyFast16.c
+++ b/src/bool/lucky/luckyFast16.c
--- 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 );