diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-16 17:30:13 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-16 17:30:13 -0400 |
commit | fb16f84410cac73447485a3e6d8ab2dee3cc253a (patch) | |
tree | 6bb92ca6fd64ea5a27b6b5c3e0c82b251881b752 /src/expr/expr.i | |
parent | b48a369333f077fa7cce117976f760cd6332691a (diff) |
minor changes to language bindings
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&); |