diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:37:13 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:37:13 -0800 |
| commit | 92420c2d1fb460e57791d2d5920a0991218daf5a (patch) | |
| tree | fc83a04336e4e5ffb9ac4c419c74b53bc2857cdd /src | |
| parent | 42cebe99d09df1b6ac2f58bdfa1f6e47cb4bc4d2 (diff) | |
| download | abc-92420c2d1fb460e57791d2d5920a0991218daf5a.tar.gz abc-92420c2d1fb460e57791d2d5920a0991218daf5a.tar.bz2 abc-92420c2d1fb460e57791d2d5920a0991218daf5a.zip | |
Rearranging data members in the structure (not a bug)
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/main/mainInt.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 21fe407d..3eaa2978 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -91,8 +91,6 @@ struct Abc_Frame_t_ Nwk_Man_t * pAbc8Nwk; // the current mapped network Aig_Man_t * pAbc8Aig; // the current AIG If_Lib_t * pAbc8Lib; // the current LUT library - - EXT_ABC_FRAME // plugin for external functionality If_Lib_t * pAbc85Lib; // the current LUT library Gia_Man_t * pGia; @@ -114,6 +112,8 @@ struct Abc_Frame_t_ int nFrames; // the number of time frames completed by BMC Vec_Ptr_t * vPlugInComBinPairs; // pairs of command and its binary name + + EXT_ABC_FRAME // plugin for external functionality }; //////////////////////////////////////////////////////////////////////// |