10 lines
367 B
Diff
10 lines
367 B
Diff
--- src/sat/glucose/Glucose.cpp.orig 2018-01-29 18:01:01.000000000 -0700
|
|
+++ src/sat/glucose/Glucose.cpp 2018-02-01 20:58:59.894726225 -0700
|
|
@@ -33,6 +33,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR
|
|
#include "sat/glucose/Solver.h"
|
|
#include "sat/glucose/Constants.h"
|
|
#include "sat/glucose/System.h"
|
|
+#include "misc/util/abc_global.h"
|
|
|
|
ABC_NAMESPACE_IMPL_START
|
|
|