From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 30 Oct 2013 16:25:39 +0000 (+0100)
Subject: Fixed ezminisat C++ errors: undef PRIi64
X-Git-Tag: yosys-0.2.0~430
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3fc6c9aac6b869a2f3cda3697fe76e78a887740f;p=yosys.git

Fixed ezminisat C++ errors: undef PRIi64
---

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"