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/AbcGlucose.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat/glucose/AbcGlucose.h') diff --git a/src/sat/glucose/AbcGlucose.h b/src/sat/glucose/AbcGlucose.h index 1bf29aed..4489adc7 100644 --- a/src/sat/glucose/AbcGlucose.h +++ b/src/sat/glucose/AbcGlucose.h @@ -31,13 +31,13 @@ /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// -ABC_NAMESPACE_HEADER_START - #define GLUCOSE_UNSAT -1 #define GLUCOSE_SAT 1 #define GLUCOSE_UNDEC 0 +ABC_NAMESPACE_HEADER_START + //////////////////////////////////////////////////////////////////////// /// BASIC TYPES /// //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3