From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 12 Jul 2017 14:34:14 +0000 (-0500)
Subject: Fix .i files from last commit.
X-Git-Tag: cvc5-1.0.0~5724
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7d47285c9e2da0defe956435361765cde2ad4c5a;p=cvc5.git

Fix .i files from last commit.
---

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>;