From 92420c2d1fb460e57791d2d5920a0991218daf5a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 29 Nov 2010 01:37:13 -0800 Subject: Rearranging data members in the structure (not a bug) --- src/base/main/mainInt.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/main') 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 }; //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3