diff options
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/kit/kitTruth.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bool/kit/kitTruth.c b/src/bool/kit/kitTruth.c index a6951163..87b28135 100644 --- a/src/bool/kit/kitTruth.c +++ b/src/bool/kit/kitTruth.c @@ -1664,6 +1664,8 @@ unsigned Kit_TruthSemiCanonicize( unsigned * pInOut, unsigned * pAux, int nVars, // canonicize output uCanonPhase = 0; + for ( i = 0; i < nVars; i++ ) + pCanonPerm[i] = i; nOnes = Kit_TruthCountOnes(pIn, nVars); //if(pIn[0] & 1) |