diff options
Diffstat (limited to 'src/expr/kind.i')
-rw-r--r-- | src/expr/kind.i | 16 |
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" |