From 961eaa0077d4fe804ee63147752b9f2697d8b683 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 31 Oct 2013 12:02:18 +0100
Subject: [PATCH] Changed MiniSAT feater defines again

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

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 6fb37c7c1..05eb2af5d 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -17,8 +17,9 @@
  *
  */
 
-// MiniSAT needs PRIi64
-#define __STDC_FORMAT_MACROS 1
+// needed for MiniSAT headers (see Minisat Makefile)
+#define __STDC_LIMIT_MACROS
+#define __STDC_FORMAT_MACROS
 
 #include "ezminisat.h"
 
-- 
2.30.2