mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Fix gcc build broken by f175f864ec.

Browse source 
C++ enums (unless they are class enums) don't define their own
namespace.
This commit is contained in:
Dan Liew 2016-03-20 10:18:59 +00:00
parent f0bdcbb3db
commit 971fd59fbb
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/nlsat/nlsat_types.h
View file

@ -113,13 +113,13 @@ namespace nlsat {
inline std::ostream& operator<<(std::ostream& out, atom::kind k) { inline std::ostream& operator<<(std::ostream& out, atom::kind k) {
switch (k) { switch (k) {
case atom::kind::EQ: return out << "="; case atom::EQ: return out << "=";
case atom::kind::LT: return out << "<"; case atom::LT: return out << "<";
case atom::kind::ROOT_EQ: return out << "= root"; case atom::ROOT_EQ: return out << "= root";
case atom::kind::ROOT_LT: return out << "< root"; case atom::ROOT_LT: return out << "< root";
case atom::kind::ROOT_LE: return out << "<= root"; case atom::ROOT_LE: return out << "<= root";
case atom::kind::ROOT_GT: return out << "> root"; case atom::ROOT_GT: return out << "> root";
case atom::kind::ROOT_GE: return out << ">= root"; case atom::ROOT_GE: return out << ">= root";
default: UNREACHABLE(); default: UNREACHABLE();
} }
return out; return out;