diff options
| -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 27fe36c65..6fb37c7c1 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" |