diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-24 20:02:19 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-24 20:02:19 -0800 |
commit | 51f4dab475af1ffd22d23b5aeb8d7cf243739f75 (patch) | |
tree | a3ba12656d6a89a37251eb4eed27ec63f1ba3555 /src/base/main/mainInt.h | |
parent | cf539dcca475d1c7f862834e8718bb318b54d5fd (diff) | |
download | abc-51f4dab475af1ffd22d23b5aeb8d7cf243739f75.tar.gz abc-51f4dab475af1ffd22d23b5aeb8d7cf243739f75.tar.bz2 abc-51f4dab475af1ffd22d23b5aeb8d7cf243739f75.zip |
Adding features for invariant minimization.
Diffstat (limited to 'src/base/main/mainInt.h')
-rw-r--r-- | src/base/main/mainInt.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index ff59b81a..278a9191 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -129,8 +129,6 @@ struct Abc_Frame_t_ void * pAbc85Delay; void * pAbcWlc; Vec_Int_t * pAbcWlcInv; - Vec_Int_t * pAbcWlcCnf; - Vec_Str_t * pAbcWlcStr; void * pAbcBac; void * pAbcCba; void * pAbcPla; |