diff options
Diffstat (limited to 'src/sat/glucose/AbcGlucose.cpp')
| -rw-r--r-- | src/sat/glucose/AbcGlucose.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/sat/glucose/AbcGlucose.cpp b/src/sat/glucose/AbcGlucose.cpp index 6069065b..247bc89a 100644 --- a/src/sat/glucose/AbcGlucose.cpp +++ b/src/sat/glucose/AbcGlucose.cpp @@ -26,15 +26,14 @@ #include "sat/glucose/AbcGlucose.h" +#include "base/abc/abc.h" #include "aig/gia/gia.h" #include "sat/cnf/cnf.h" #include "misc/extra/extra.h" -using namespace Gluco; - ABC_NAMESPACE_IMPL_START -extern "C" { +using namespace Gluco; //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -1367,6 +1366,4 @@ int Glucose_SolveAig(Gia_Man_t * p, Glucose_Pars * pPars) /// END OF FILE /// //////////////////////////////////////////////////////////////////////// -} - ABC_NAMESPACE_IMPL_END |