From c2972fc63ca6d49ffeaf0e8a9a39cad733790cd7 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 30 Aug 2013 21:00:56 -0400
Subject: [PATCH] Add ability to mkConst(TupleSelect) and friends in language
 bindings

---
 src/expr/expr_manager.i | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i
index a386af5ee..a2ff0337a 100644
--- a/src/expr/expr_manager.i
+++ b/src/expr/expr_manager.i
@@ -34,6 +34,10 @@
 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::UninterpretedConstant>;
 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::kind::Kind_t>;
 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Datatype>;
+%template(mkConst) CVC4::ExprManager::mkConst<CVC4::TupleSelect>;
+%template(mkConst) CVC4::ExprManager::mkConst<CVC4::TupleUpdate>;
+%template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordSelect>;
+%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>;
-- 
2.30.2