diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-12 09:34:14 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-12 09:34:14 -0500 |
| commit | 7d47285c9e2da0defe956435361765cde2ad4c5a (patch) | |
| tree | 014d64b5aa0f90e2cc9008d4a19092e7970b8326 | |
| parent | 360d6ee8d3cdd5ddb47c328043eaed3a107b8db1 (diff) | |
Fix .i files from last commit.
| -rw-r--r-- | src/cvc4.i | 1 | ||||
| -rw-r--r-- | src/expr/expr.i | 1 | ||||
| -rw-r--r-- | src/expr/expr_manager.i | 1 |
3 files changed, 0 insertions, 3 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index c950bb4c4..5f90fdb7d 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -335,7 +335,6 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; %include "expr/ascription_type.i" %include "expr/emptyset.i" %include "expr/datatype.i" -%include "expr/predicate.i" %include "expr/record.i" %include "proof/unsat_core.i" diff --git a/src/expr/expr.i b/src/expr/expr.i index 49cb24321..93a0cbe99 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -153,7 +153,6 @@ namespace CVC4 { %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>; %template(getConstString) CVC4::Expr::getConst<CVC4::String>; %template(getConstRegExp) CVC4::Expr::getConst<CVC4::RegExp>; %template(getConstEmptySet) CVC4::Expr::getConst<CVC4::EmptySet>; diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i index f8bb55523..b8f8d5da9 100644 --- a/src/expr/expr_manager.i +++ b/src/expr/expr_manager.i @@ -70,7 +70,6 @@ %template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordUpdate>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Rational>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVector>; -%template(mkConst) CVC4::ExprManager::mkConst<CVC4::Predicate>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::EmptySet>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::String>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::RegExp>; |