From 3fc6c9aac6b869a2f3cda3697fe76e78a887740f Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 30 Oct 2013 17:25:39 +0100
Subject: [PATCH] Fixed ezminisat C++ errors: undef PRIi64

---
 libs/ezsat/ezminisat.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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"
 
-- 
2.30.2