diff options
Diffstat (limited to 'src/sat/bsat/satMem.h')
| -rw-r--r-- | src/sat/bsat/satMem.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/sat/bsat/satMem.h b/src/sat/bsat/satMem.h index b6d93807..13afa9b9 100644 --- a/src/sat/bsat/satMem.h +++ b/src/sat/bsat/satMem.h @@ -23,6 +23,10 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// +#include "abc_global.h" + +ABC_NAMESPACE_HEADER_START + //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// @@ -66,6 +70,10 @@ extern char * Sat_MmStepEntryFetch( Sat_MmStep_t * p, int nBytes ); extern void Sat_MmStepEntryRecycle( Sat_MmStep_t * p, char * pEntry, int nBytes ); extern int Sat_MmStepReadMemUsage( Sat_MmStep_t * p ); + + +ABC_NAMESPACE_HEADER_END + #endif //////////////////////////////////////////////////////////////////////// |