From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 27 Nov 2013 20:35:03 +0000 (-0500)
Subject: Add missing template instanatiation in Java bindings
X-Git-Tag: cvc5-1.0.0~7235
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7845fb33d5eda80bbe1149e302f7cf2f8f82bcdc;p=cvc5.git

Add missing template instanatiation in Java bindings
---

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