diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 13:03:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 13:03:01 -0700 |
| commit | a35599960b1fc7ba3a94c0ac562ec0ad217230a2 (patch) | |
| tree | 8b374b398f2d29d59f8e78d20558117b3b98fb8b /src/map/mpm/mpmInt.h | |
| parent | 4decece2c73d826c49c5bbca3df3364da94357bc (diff) | |
| download | abc-a35599960b1fc7ba3a94c0ac562ec0ad217230a2.tar.gz abc-a35599960b1fc7ba3a94c0ac562ec0ad217230a2.tar.bz2 abc-a35599960b1fc7ba3a94c0ac562ec0ad217230a2.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmInt.h')
| -rw-r--r-- | src/map/mpm/mpmInt.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/map/mpm/mpmInt.h b/src/map/mpm/mpmInt.h index f22ecb6d..99952568 100644 --- a/src/map/mpm/mpmInt.h +++ b/src/map/mpm/mpmInt.h @@ -113,9 +113,6 @@ struct Mpm_Man_t_ Mpm_Uni_t pCutUnits[MPM_CUT_MAX+1]; // cut info units Vec_Ptr_t vFreeUnits; // free cut info units Vec_Ptr_t * vTemp; // storage for cuts - // object presence - unsigned char * pObjPres; // object presence - Vec_Int_t vObjPresUsed; // used objects // cut comparison int (* pCutCmp) (Mpm_Uni_t *, Mpm_Uni_t *);// procedure to compare cuts // fanin cuts/signatures |