diff options
Diffstat (limited to 'src/map/mpm/mpmInt.h')
| -rw-r--r-- | src/map/mpm/mpmInt.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/map/mpm/mpmInt.h b/src/map/mpm/mpmInt.h index df534e1e..e64aa43b 100644 --- a/src/map/mpm/mpmInt.h +++ b/src/map/mpm/mpmInt.h @@ -103,8 +103,7 @@ struct Mpm_Man_t_ Vec_Ptr_t * vTemp; // storage for cuts // object presence unsigned char * pObjPres; // object presence - int pObjPresUsed[MPM_VAR_MAX]; - int nObjPresUsed; + Vec_Int_t vObjPresUsed; // used objects Vec_Str_t vObjShared; // object presence // cut comparison int (* pCutCmp) (Mpm_Uni_t *, Mpm_Uni_t *);// procedure to compare cuts |