From 971fd59fbbb092d3ce6a3e8206dac284c854ce51 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sun, 20 Mar 2016 10:18:59 +0000
Subject: [PATCH] Fix gcc build broken by
f175f864ec7ac91fd89c6b1fb3914d4b752faa71.
C++ enums (unless they are class enums) don't define their own
namespace.
---
src/nlsat/nlsat_types.h | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/src/nlsat/nlsat_types.h b/src/nlsat/nlsat_types.h
index dcc68d8e1..abbd94fd6 100644
--- a/src/nlsat/nlsat_types.h
+++ b/src/nlsat/nlsat_types.h
@@ -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;