summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-10-30 17:25:39 +0100
committerClifford Wolf <clifford@clifford.at>2013-10-30 17:25:39 +0100
commit3fc6c9aac6b869a2f3cda3697fe76e78a887740f (patch)
tree5f5a12065efca40e410229cb982cb026289a6372 /libs/ezsat/ezminisat.cc
parentb8bfa020fa346a9c0afb79f8666c862280f169f1 (diff)
Fixed ezminisat C++ errors: undef PRIi64
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"