diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-28 18:17:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-28 18:17:28 -0700 |
| commit | 15895cd2e30ceaf5ba1692bbd1104dbf87f1ace2 (patch) | |
| tree | fd2278df0506178d53bd2fdb929ef7e0e46c45a4 /src/bool | |
| parent | c73c37a99d5db520d724c97f6397e5a5bc0bc6ca (diff) | |
| download | abc-15895cd2e30ceaf5ba1692bbd1104dbf87f1ace2.tar.gz abc-15895cd2e30ceaf5ba1692bbd1104dbf87f1ace2.tar.bz2 abc-15895cd2e30ceaf5ba1692bbd1104dbf87f1ace2.zip | |
Improvements to LMS code.
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) |