mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

Fixed ezminisat C++ errors: undef PRIi64

Browse source
This commit is contained in:
Clifford Wolf 2013-10-30 17:25:39 +01:00
parent b8bfa020fa
commit 3fc6c9aac6
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
libs/ezsat/ezminisat.cc
View file

@ -17,7 +17,8 @@
*
*/
#define __STDC_LIMIT_MACROS 1
// MiniSAT needs PRIi64
#define __STDC_FORMAT_MACROS 1
#include "ezminisat.h"