diff options
Diffstat (limited to 'src/aig/int/intM114p.c')
| -rw-r--r-- | src/aig/int/intM114p.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/aig/int/intM114p.c b/src/aig/int/intM114p.c index 6818fdce..0ad0552f 100644 --- a/src/aig/int/intM114p.c +++ b/src/aig/int/intM114p.c @@ -18,11 +18,13 @@ ***********************************************************************/ -#ifdef ABC_USE_LIBRARIES - #include "intInt.h" #include "m114p.h" +#ifdef ABC_USE_LIBRARIES + +ABC_NAMESPACE_IMPL_START + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -433,6 +435,8 @@ p->timeInt += clock() - clk; /// END OF FILE /// //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + #endif |