diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-24 20:16:46 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-24 20:17:05 -0400 |
| commit | 363b838e4a0b799da537d60632fe844c5c5e4686 (patch) | |
| tree | 83849772ae794ff68bda3f063ae4da81a6075795 /src/expr | |
| parent | aa3b60104a0026c078eea1d19506e8bf4c3d9763 (diff) | |
Some cleanup, fix warnings raised by Debian packager.
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/expr.i | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expr/expr.i b/src/expr/expr.i index c649a5ebb..31788f06b 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -104,7 +104,9 @@ namespace CVC4 { %template(getConstRational) CVC4::Expr::getConst<CVC4::Rational>; %template(getConstBitVector) CVC4::Expr::getConst<CVC4::BitVector>; %template(getConstPredicate) CVC4::Expr::getConst<CVC4::Predicate>; -%template(getConstString) CVC4::Expr::getConst<std::string>; +%template(getConstString) CVC4::Expr::getConst<CVC4::String>; +%template(getConstRegExp) CVC4::Expr::getConst<CVC4::RegExp>; +%template(getConstEmptySet) CVC4::Expr::getConst<CVC4::EmptySet>; %template(getConstBoolean) CVC4::Expr::getConst<bool>; #ifdef SWIGJAVA |