From 7bcfe6436938d8354f499522b3d013229931b009 Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Thu, 23 Nov 2017 23:32:44 -0800 Subject: C++ comaptibility: add namespace support to Glucose --- src/sat/glucose/Map.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/sat/glucose/Map.h') diff --git a/src/sat/glucose/Map.h b/src/sat/glucose/Map.h index 4fd2a89d..bc08317f 100644 --- a/src/sat/glucose/Map.h +++ b/src/sat/glucose/Map.h @@ -23,6 +23,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include "sat/glucose/IntTypes.h" #include "sat/glucose/Vec.h" +ABC_NAMESPACE_CXX_HEADER_START + namespace Gluco { //================================================================================================= @@ -190,4 +192,6 @@ class Map { //================================================================================================= } +ABC_NAMESPACE_CXX_HEADER_END + #endif -- cgit v1.2.3