diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-03-23 15:23:00 -0500 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-03-23 13:23:00 -0700 |
commit | d13b2981520e3d39039e8eb2c3c844de473a1e7c (patch) | |
tree | 7be3fe248f9d009a71e1470e5d63641c4b33c5a4 /src/expr | |
parent | f3d010e07f30dd658d4532a43b3813654376162d (diff) |
Remove abstract regular expression constant (#1698)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/expr.i | 1 | ||||
-rw-r--r-- | src/expr/expr_manager.i | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/src/expr/expr.i b/src/expr/expr.i index d77981cc4..1d5207c93 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -153,7 +153,6 @@ namespace CVC4 { %template(getConstRational) CVC4::Expr::getConst<CVC4::Rational>; %template(getConstBitVector) CVC4::Expr::getConst<CVC4::BitVector>; %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>; diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i index dac3b9312..df99af56d 100644 --- a/src/expr/expr_manager.i +++ b/src/expr/expr_manager.i @@ -71,7 +71,6 @@ %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVector>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::EmptySet>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::String>; -%template(mkConst) CVC4::ExprManager::mkConst<CVC4::RegExp>; #ifdef SWIGPYTHON /* The python bindings cannot differentiate between bool and other basic * types like enum and int. Therefore, we rename mkConst for the bool |