diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-18 17:34:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-18 17:34:12 +0000 |
commit | d1459372b7d5f766cd20fb5546ce82bfbb5726b5 (patch) | |
tree | 6eafd2a62ea88bf2e329dbc7a11dc66340c92f96 /src/util/sexpr.cpp | |
parent | 4923b53ad705acc04348da693f03f83f8d9853db (diff) |
removing output operator for SExprTypes, which is never used (and SExprTypes is not public-facing)---this fixes the language bindings, which fixes the broken debian build overnight
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; |