diff options
| -rw-r--r-- | src/util/sexpr.h | 40 | ||||
| -rw-r--r-- | src/util/sexpr.i | 1 |
2 files changed, 21 insertions, 20 deletions
diff --git a/src/util/sexpr.h b/src/util/sexpr.h index 040f8eb14..9d568bad8 100644 --- a/src/util/sexpr.h +++ b/src/util/sexpr.h @@ -42,7 +42,7 @@ class CVC4_PUBLIC SExpr { SEXPR_RATIONAL, SEXPR_NOT_ATOM } d_sexprType; - friend std::ostream &operator<<(std::ostream&, SexprTypes); + friend std::ostream& operator<<(std::ostream&, SexprTypes); /** The value of an atomic integer-valued S-expression. */ CVC4::Integer d_integerValue; @@ -135,25 +135,25 @@ public: };/* class SExpr */ -inline std::ostream &operator<<(std::ostream& out, SExpr::SexprTypes type){ - switch(type){ - case SExpr::SEXPR_STRING: - out << "SEXPR_STRING"; - break; - case SExpr::SEXPR_INTEGER: - out << "SEXPR_INTEGER"; - break; - case SExpr::SEXPR_RATIONAL: - out << "SEXPR_RATIONAL"; - break; - case SExpr::SEXPR_NOT_ATOM: - out << "SEXPR_NOT_ATOM"; - break; - default: - Unimplemented(); - break; - } - return out; +inline std::ostream& operator<<(std::ostream& out, SExpr::SexprTypes type) { + switch(type) { + case SExpr::SEXPR_STRING: + out << "SEXPR_STRING"; + break; + case SExpr::SEXPR_INTEGER: + out << "SEXPR_INTEGER"; + break; + case SExpr::SEXPR_RATIONAL: + out << "SEXPR_RATIONAL"; + break; + case SExpr::SEXPR_NOT_ATOM: + out << "SEXPR_NOT_ATOM"; + break; + default: + Unimplemented(); + break; + } + return out; } inline bool SExpr::isAtom() const { diff --git a/src/util/sexpr.i b/src/util/sexpr.i index c925f9f95..99f197ff7 100644 --- a/src/util/sexpr.i +++ b/src/util/sexpr.i @@ -3,5 +3,6 @@ %} %ignore CVC4::operator<<(std::ostream&, const SExpr&); +%ignore CVC4::operator<<(std::ostream&, SExpr::SexprTypes); %include "util/sexpr.h" |