diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-12 10:18:01 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-12 10:18:01 +0200 |
| commit | 1bee82ae2d3395a13d5f5e371af6fe5d657602cb (patch) | |
| tree | 34aef3a1450bdeb416709b5b8eb9f9cc1b85c058 | |
| parent | 4b311b7b99f55ee4bfe43447067b177fb2f90a82 (diff) | |
| download | yosys-1bee82ae2d3395a13d5f5e371af6fe5d657602cb.tar.gz yosys-1bee82ae2d3395a13d5f5e371af6fe5d657602cb.tar.bz2 yosys-1bee82ae2d3395a13d5f5e371af6fe5d657602cb.zip | |
Fixed gcc build (c++11 stuff in ezSAT)
| -rw-r--r-- | libs/ezsat/ezsat.cc | 3 | ||||
| -rw-r--r-- | libs/ezsat/ezsat.h | 4 |
2 files changed, 5 insertions, 2 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index f21c8ee2a..e37031314 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -24,6 +24,9 @@ #include <stdlib.h> #include <assert.h> +const int ezSAT::TRUE = 1; +const int ezSAT::FALSE = 2; + ezSAT::ezSAT() { literal("TRUE"); diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index 8371071ed..2674d83df 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -44,8 +44,8 @@ public: OpNot, OpAnd, OpOr, OpXor, OpIFF, OpITE }; - const int TRUE = 1; - const int FALSE = 2; + static const int TRUE; + static const int FALSE; private: std::map<std::string, int> literalsCache; |