Switching to types-as-attributes in parser

[cvc5.git] / src / expr / kind_middle.h

diff --git a/src/expr/kind_middle.h b/src/expr/kind_middle.h
index 7dee408537fee40112f2a026e4daaab0066cc309..49e43ba6883c6c3e46bf4cd744390c2dfcd333cb 100644 (file)
--- a/src/expr/kind_middle.h
+++ b/src/expr/kind_middle.h
@@ -1,6 +1,6 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** kind_middle.h
- ** Original author: 
+ ** Original author: mdeters
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
@@ -27,8 +27,3 @@ inline std::ostream& operator<<(std::ostream& out, CVC4::Kind k) {
   /* special cases */
   case UNDEFINED_KIND: out << "UNDEFINED_KIND"; break;
   case NULL_EXPR: out << "NULL"; break;
-
-  case EQUAL: out << "EQUAL"; break;
-  case ITE: out << "ITE"; break;
-  case SKOLEM: out << "SKOLEM"; break;
-  case VARIABLE: out << "VARIABLE"; break;