diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-10-30 17:25:39 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-10-30 17:25:39 +0100 |
| commit | 3fc6c9aac6b869a2f3cda3697fe76e78a887740f (patch) | |
| tree | 5f5a12065efca40e410229cb982cb026289a6372 /libs/ezsat | |
| parent | b8bfa020fa346a9c0afb79f8666c862280f169f1 (diff) | |
Fixed ezminisat C++ errors: undef PRIi64
Diffstat (limited to 'libs/ezsat')
| -rw-r--r-- | libs/ezsat/ezminisat.cc | 3 |
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" |