projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5569aec)
Add missing template instanatiation in Java bindings
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 20:35:03 +0000 (15:35 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 20:35:03 +0000 (15:35 -0500)
src/expr/expr_manager.i patch | blob | history

diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i
index 6fb802497cbda591de6f0ff280937ac23fbbf022..8b9588214b422edc279898a6d76c0808bb54cf6f 100644 (file)
--- 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>;