diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-10 16:20:42 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-10 16:20:42 -0400 |
commit | c30a3426c7c2cbaff88b5183b8d8c368a393ac4d (patch) | |
tree | bd621f3766d2ae330a6c11499fe0a49958afa95d /src/expr/kind.i | |
parent | d4f76fdfaed04bf63bb609a5fd26b0d45a9e94f4 (diff) | |
parent | e926fd162c6cee95d31044305e3b4df90b59f9fc (diff) |
Merge remote-tracking branch 'origin/master' into segfaultfix
Diffstat (limited to 'src/expr/kind.i')
-rw-r--r-- | src/expr/kind.i | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/expr/kind.i b/src/expr/kind.i index 95c350cf3..189c94f1f 100644 --- a/src/expr/kind.i +++ b/src/expr/kind.i @@ -8,6 +8,9 @@ %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" |