From 7845fb33d5eda80bbe1149e302f7cf2f8f82bcdc Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 27 Nov 2013 15:35:03 -0500
Subject: [PATCH] Add missing template instanatiation in Java bindings

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

diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i
index 6fb802497..8b9588214 100644
--- a/src/expr/expr_manager.i
+++ b/src/expr/expr_manager.i
@@ -57,6 +57,7 @@
 %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::Record>;
 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordSelect>;
 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordUpdate>;
 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Rational>;
-- 
2.30.2