diff options
Diffstat (limited to 'src/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 21346ffb..22de91ba 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -2141,10 +2141,11 @@ float If_CutDelayLutStruct( If_Man_t * p, If_Cut_t * pCut, char * pStr, float Wi // consider easy case if ( nLeaves <= Abc_MaxInt( nLutLeaf, nLutRoot ) ) { + char * pPerm = If_CutPerm( pCut ); assert( nLeaves <= 6 ); for ( i = 0; i < nLeaves; i++ ) { - pCut->pPerm[i] = 1; + pPerm[i] = 1; G1.pVars[i] = i; } G1.nVars = nLeaves; |