-/********************* -*- 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.
/* 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;