removing output operator for SExprTypes, which is never used (and SExprTypes is not...

diff --git a/src/util/sexpr.cpp b/src/util/sexpr.cpp
index ff6ff68728aafe6ba3315102cf543b5870bdb324..f90426fab515d9b0e3f99f26824dede185e1f578 100644 (file)
--- 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;

diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index a49da4b48d353124cc12de6019b632048a89db89..9db9a34cef336d595ade3290b659f5a818476dfe 100644 (file)
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -43,7 +43,6 @@ class CVC4_PUBLIC SExpr {
     SEXPR_RATIONAL,
     SEXPR_NOT_ATOM
   } d_sexprType;
-  friend std::ostream& operator<<(std::ostream&, SExprTypes);
 
   /** The value of an atomic integer-valued S-expression. */
   CVC4::Integer d_integerValue;
@@ -154,8 +153,6 @@ public:
 
 };/* class SExpr */
 
-std::ostream& operator<<(std::ostream& out, SExpr::SExprTypes type) CVC4_PUBLIC;
-
 inline bool SExpr::isAtom() const {
   return d_sexprType != SEXPR_NOT_ATOM;
 }