From 8810ef12da3f56523a95863d6583f09531dfe8de Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Fri, 16 Oct 2015 14:02:30 -0700 Subject: Fix C++ compilation errors --- src/aig/miniaig/miniaig.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/aig/miniaig') diff --git a/src/aig/miniaig/miniaig.h b/src/aig/miniaig/miniaig.h index 4c8a9203..dadb578b 100644 --- a/src/aig/miniaig/miniaig.h +++ b/src/aig/miniaig/miniaig.h @@ -30,6 +30,8 @@ #include #include +ABC_NAMESPACE_HEADER_START + //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// @@ -268,6 +270,8 @@ static int Mini_AigCheck( Mini_Aig_t * p ) /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_HEADER_END + #endif //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3