1 files changed, 0 insertions, 3 deletions
diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index a49da4b48..9db9a34ce 100644
--- 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;
 }