diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:20:49 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:20:49 -0500 |
| commit | 8e0fce94790249ff7aff84ff4500bb96e2ebb9e9 (patch) | |
| tree | 25e65718cff712f13688e452ffc1d4b459cd7367 /src/expr/expr.i | |
| parent | 3506b13f4d298095e8405b32b05e838f17dbe809 (diff) | |
Working memory leak free version, changes interface to pointers.
Diffstat (limited to 'src/expr/expr.i')
| -rw-r--r-- | src/expr/expr.i | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr.i b/src/expr/expr.i index 354cacdc0..49cb24321 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -150,7 +150,7 @@ namespace CVC4 { %template(getConstBitVectorRotateRight) CVC4::Expr::getConst<CVC4::BitVectorRotateRight>; %template(getConstUninterpretedConstant) CVC4::Expr::getConst<CVC4::UninterpretedConstant>; %template(getConstKind) CVC4::Expr::getConst<CVC4::kind::Kind_t>; -%template(getConstDatatype) CVC4::Expr::getConst<CVC4::Datatype>; +%template(getConstDatatypeIndexConstant) CVC4::Expr::getConst<CVC4::DatatypeIndexConstant>; %template(getConstRational) CVC4::Expr::getConst<CVC4::Rational>; %template(getConstBitVector) CVC4::Expr::getConst<CVC4::BitVector>; %template(getConstPredicate) CVC4::Expr::getConst<CVC4::Predicate>; |