1 files changed, 0 insertions, 16 deletions
diff --git a/src/expr/kind.i b/src/expr/kind.i
deleted file mode 100644
index 189c94f1f..000000000
--- a/src/expr/kind.i
+++ /dev/null
@@ -1,16 +0,0 @@
-%{
-#include "expr/kind.h"
-%}
-
-%ignore CVC4::kind::operator<<(std::ostream&, CVC4::Kind);
-%ignore CVC4::operator<<(std::ostream&, TypeConstant);
-%ignore CVC4::theory::operator<<(std::ostream&, TheoryId);
-
-%ignore CVC4::theory::operator++(TheoryId&);
-
-%rename(apply) CVC4::kind::KindHashFunction::operator()(::CVC4::Kind) const;
-%rename(apply) CVC4::TypeConstantHashFunction::operator()(TypeConstant) const;
-
-%rename(Kind) CVC4::kind::Kind_t;
-
-%include "expr/kind.h"