projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5569aec
)
Add missing template instanatiation in Java bindings
author
Morgan Deters
<mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 20:35:03 +0000
(15:35 -0500)
committer
Morgan 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::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>;
%template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordSelect>;
%template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordUpdate>;
%template(mkConst) CVC4::ExprManager::mkConst<CVC4::Rational>;