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"