github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-01 06:32:19 +00:00
Code Issues Releases Wiki Activity

Changed MiniSAT feater defines again

Browse Source
This commit is contained in:
Clifford Wolf
2013-10-31 12:02:18 +01:00
parent d78a9dfb37
commit 961eaa0077
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
libs/ezsat/ezminisat.cc
View File

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