diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-08-17 08:51:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-17 08:51:51 -0700 |
| commit | 33ca2a3f2359493a9154a229a30ad3aa3a21f2aa (patch) | |
| tree | 2faebdb98cff292d4b4cd9aed254a685efada15b /src/expr/expr.i | |
| parent | 7766f0ba088ad6d6c58ea9678477b255c9e52fee (diff) | |
Remove unused SubrangeBound(s) classes (#221)
As discussed in pull request #220, commit
360d6ee8d3cdd5ddb47c328043eaed3a107b8db1 mostly got rid of SubrangeBound(s).
There were still a few mentions of it left in the code, most of them commented
out. The occurrences in expr.i and expr_manager.i, however, created issues with
the Python wrapper. This commit removes the SubrangeBound(s) implementation and
other leftovers.
Diffstat (limited to 'src/expr/expr.i')
| -rw-r--r-- | src/expr/expr.i | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/expr/expr.i b/src/expr/expr.i index 93a0cbe99..d77981cc4 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -141,7 +141,6 @@ namespace CVC4 { %template(getConstBitVectorSize) CVC4::Expr::getConst<CVC4::BitVectorSize>; %template(getConstAscriptionType) CVC4::Expr::getConst<CVC4::AscriptionType>; %template(getConstBitVectorBitOf) CVC4::Expr::getConst<CVC4::BitVectorBitOf>; -%template(getConstSubrangeBounds) CVC4::Expr::getConst<CVC4::SubrangeBounds>; %template(getConstBitVectorRepeat) CVC4::Expr::getConst<CVC4::BitVectorRepeat>; %template(getConstBitVectorExtract) CVC4::Expr::getConst<CVC4::BitVectorExtract>; %template(getConstBitVectorRotateLeft) CVC4::Expr::getConst<CVC4::BitVectorRotateLeft>; |