diff options
Diffstat (limited to 'src/map/mpm/mpmInt.h')
| -rw-r--r-- | src/map/mpm/mpmInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mpm/mpmInt.h b/src/map/mpm/mpmInt.h index e8b6d4de..cf267a07 100644 --- a/src/map/mpm/mpmInt.h +++ b/src/map/mpm/mpmInt.h @@ -140,7 +140,7 @@ struct Mpm_Man_t_ Vec_Int_t * vMap2Perm; // maps number into its permutation unsigned uPermMask[3]; unsigned uComplMask[3]; - Vec_Int_t * vGateNpnConfig; + Vec_Int_t * vNpnConfigs; Vec_Int_t * vNpnCosts; // area cost of each NPN class // mapping attributes Vec_Int_t vCutBests; // cut best |