summaryrefslogtreecommitdiffstats
path: root/src/aig/int/intM114p.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/int/intM114p.c')
-rw-r--r--src/aig/int/intM114p.c8
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