1 files changed, 0 insertions, 26 deletions
diff --git a/src/expr/kind_epilogue.h b/src/expr/kind_epilogue.h
deleted file mode 100644
index 3d029bec4..000000000
--- a/src/expr/kind_epilogue.h
+++ /dev/null
@@ -1,26 +0,0 @@
-/*********************                                                        */
-/** kind_epilogue.h
- ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
- ** Courant Institute of Mathematical Sciences
- ** New York University
- ** See the file COPYING in the top-level source directory for licensing
- ** information.
- **
- ** Epilogue for the Node kind header.  This file finishes off the
- ** pretty-printing function for the Kind enum.
- **/
-
-  case LAST_KIND: out << "LAST_KIND"; break;
-  default: out << "UNKNOWNKIND!" << int(k); break;
-  }
-
-  return out;
-}
-
-}/* CVC4 namespace */
-
-#endif /* __CVC4__KIND_H */