mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Merge pull request from delcypher/fix_no_kind_namespace

Browse source 
Fix gcc build broken by f175f864ec.
This commit is contained in:
Nikolaj Bjorner 2016-03-20 10:12:14 -07:00
parent f0bdcbb3db 971fd59fbb
commit b66fc4e355
1 changed files with 7 additions and 7 deletions

14
src/nlsat/nlsat_types.h
View file

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