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: Fix .i files from last commit.

---
 src/expr/expr.i | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/expr/expr.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>;
-- 
cgit v1.2.3