summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.cc
diff options
context:
space:
mode:
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
-rw-r--r--libs/ezsat/ezminisat.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 27fe36c6..6fb37c7c 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -17,7 +17,8 @@
*
*/
-#define __STDC_LIMIT_MACROS 1
+// MiniSAT needs PRIi64
+#define __STDC_FORMAT_MACROS 1
#include "ezminisat.h"