From 7d47285c9e2da0defe956435361765cde2ad4c5a Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 12 Jul 2017 09:34:14 -0500
Subject: [PATCH] Fix .i files from last commit.

---
 src/cvc4.i              | 1 -
 src/expr/expr.i         | 1 -
 src/expr/expr_manager.i | 1 -
 3 files changed, 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>;
-- 
2.30.2