diff options
Diffstat (limited to 'src/util/sexpr.cpp')
-rw-r--r-- | src/util/sexpr.cpp | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/util/sexpr.cpp b/src/util/sexpr.cpp index ff6ff6872..f90426fab 100644 --- a/src/util/sexpr.cpp +++ b/src/util/sexpr.cpp @@ -26,30 +26,6 @@ namespace CVC4 { -std::ostream& operator<<(std::ostream& out, SExpr::SExprTypes type) { - switch(type) { - case SExpr::SEXPR_STRING: - out << "SEXPR_STRING"; - break; - case SExpr::SEXPR_KEYWORD: - out << "SEXPR_KEYWORD"; - 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; -} - std::ostream& operator<<(std::ostream& out, const SExpr& sexpr) { Printer::getPrinter(Expr::setlanguage::getLanguage(out))->toStream(out, sexpr); return out; |