Fix .i files from last commit.

diff --git a/src/cvc4.i b/src/cvc4.i
index c950bb4c4b546125594b3c9c5ae72a5e27b83747..5f90fdb7db00ad6afd8679b12d56e2fe2a39615d 100644 (file)
--- 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 49cb243214c9f6d001b3a10eb15e9824ca9420e6..93a0cbe994105a5efeabb726b24dbe595307d06a 100644 (file)
--- 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 f8bb555236b35f5d66d3ff961adcaf44c2561303..b8f8d5da9e443c437e2ada4d25cba97a25d20a3d 100644 (file)
--- 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>;