diff options
Diffstat (limited to 'src/expr/expr.i')
-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 |