Fixed ezminisat C++ errors: undef PRIi64

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 27fe36c6594df5e2b55b4900b79daa9dbcf9d12b..6fb37c7c14ba894dae38a339ce31b370eaa28ba6 100644 (file)
--- 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"