riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed gcc build (c++11 stuff in ezSAT)

This commit is contained in:
Clifford Wolf 2013-06-12 10:18:01 +02:00
parent 4b311b7b99
commit 1bee82ae2d
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libs/ezsat/ezsat.cc
View File

@ -24,6 +24,9 @@
#include <stdlib.h> #include <stdlib.h>
#include <assert.h> #include <assert.h>
const int ezSAT::TRUE = 1;
const int ezSAT::FALSE = 2;
ezSAT::ezSAT() ezSAT::ezSAT()
{ {
literal("TRUE"); literal("TRUE");

4
libs/ezsat/ezsat.h
View File

@ -44,8 +44,8 @@ public:
OpNot, OpAnd, OpOr, OpXor, OpIFF, OpITE OpNot, OpAnd, OpOr, OpXor, OpIFF, OpITE
}; };
const int TRUE = 1; static const int TRUE;
const int FALSE = 2; static const int FALSE;
private: private:
std::map<std::string, int> literalsCache; std::map<std::string, int> literalsCache;