diff options
Diffstat (limited to 'libs/ezsat/ezsat.h')
| -rw-r--r-- | libs/ezsat/ezsat.h | 4 |
1 files changed, 2 insertions, 2 deletions
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; |