From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 31 Oct 2013 11:02:18 +0000 (+0100)
Subject: Changed MiniSAT feater defines again
X-Git-Tag: yosys-0.2.0~426
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=961eaa0077d4fe804ee63147752b9f2697d8b683;p=yosys.git

Changed MiniSAT feater defines again
---

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"