summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/Options.cpp
diff options
context:
space:
mode:
authorBaruch Sterin <baruchs@gmail.com>2017-11-23 23:32:44 -0800
committerBaruch Sterin <baruchs@gmail.com>2017-11-23 23:32:44 -0800
commit7bcfe6436938d8354f499522b3d013229931b009 (patch)
tree1342cd4aef4079c926d546fa96e83e4d29d48f89 /src/sat/glucose/Options.cpp
parentd438d9c1b6195806f74c5867c53518988a5e8d5c (diff)
downloadabc-7bcfe6436938d8354f499522b3d013229931b009.tar.gz
abc-7bcfe6436938d8354f499522b3d013229931b009.tar.bz2
abc-7bcfe6436938d8354f499522b3d013229931b009.zip
C++ comaptibility: add namespace support to Glucose
Diffstat (limited to 'src/sat/glucose/Options.cpp')
-rw-r--r--src/sat/glucose/Options.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sat/glucose/Options.cpp b/src/sat/glucose/Options.cpp
index d9521c52..a310809e 100644
--- a/src/sat/glucose/Options.cpp
+++ b/src/sat/glucose/Options.cpp
@@ -21,6 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include "sat/glucose/Options.h"
#include "sat/glucose/ParseUtils.h"
+ABC_NAMESPACE_IMPL_START
+
using namespace Gluco;
void Gluco::parseOptions(int& argc, char** argv, bool strict)
@@ -90,3 +92,4 @@ void Gluco::printUsageAndExit (int argc, char** argv, bool verbose)
exit(0);
}
+ABC_NAMESPACE_IMPL_END