summaryrefslogtreecommitdiff
path: root/libs/ezsat
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-10-31 12:02:18 +0100
committerClifford Wolf <clifford@clifford.at>2013-10-31 12:02:18 +0100
commit961eaa0077d4fe804ee63147752b9f2697d8b683 (patch)
tree78c71251259a5759fd15089450abf652f3436cab /libs/ezsat
parentd78a9dfb372654999916af46f35fe3914f960d9d (diff)
Changed MiniSAT feater defines again
Diffstat (limited to 'libs/ezsat')
-rw-r--r--libs/ezsat/ezminisat.cc5
1 files changed, 3 insertions, 2 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 6fb37c7c..05eb2af5 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -17,8 +17,9 @@
*
*/
-// MiniSAT needs PRIi64
-#define __STDC_FORMAT_MACROS 1
+// needed for MiniSAT headers (see Minisat Makefile)
+#define __STDC_LIMIT_MACROS
+#define __STDC_FORMAT_MACROS
#include "ezminisat.h"