diff options
Diffstat (limited to 'src/expr/expr.i')
| -rw-r--r-- | src/expr/expr.i | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/expr.i b/src/expr/expr.i index 977345a63..c649a5ebb 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -9,7 +9,11 @@ #endif /* SWIGJAVA */ %} +#ifdef SWIGPYTHON +%rename(doApply) CVC4::ExprHashFunction::operator()(CVC4::Expr) const; +#else /* SWIGPYTHON */ %rename(apply) CVC4::ExprHashFunction::operator()(CVC4::Expr) const; +#endif /* SWIGPYTHON */ %ignore CVC4::operator<<(std::ostream&, const Expr&); %ignore CVC4::operator<<(std::ostream&, const TypeCheckingException&); |