diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 12:20:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 12:20:59 -0700 |
| commit | 4decece2c73d826c49c5bbca3df3364da94357bc (patch) | |
| tree | 6d9b45b94712313e7f42e9bb5401b7ee01e91af8 /src/map/mpm/mpmInt.h | |
| parent | eb5c12a994629c1e0bd5903ad86f8d48bccb6223 (diff) | |
| download | abc-4decece2c73d826c49c5bbca3df3364da94357bc.tar.gz abc-4decece2c73d826c49c5bbca3df3364da94357bc.tar.bz2 abc-4decece2c73d826c49c5bbca3df3364da94357bc.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmInt.h')
| -rw-r--r-- | src/map/mpm/mpmInt.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/map/mpm/mpmInt.h b/src/map/mpm/mpmInt.h index cf267a07..f22ecb6d 100644 --- a/src/map/mpm/mpmInt.h +++ b/src/map/mpm/mpmInt.h @@ -116,7 +116,6 @@ struct Mpm_Man_t_ // object presence unsigned char * pObjPres; // object presence 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 // fanin cuts/signatures |