diff options
Diffstat (limited to 'src/expr/expr_manager.i')
| -rw-r--r-- | src/expr/expr_manager.i | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i index b8f8d5da9..136e75f98 100644 --- a/src/expr/expr_manager.i +++ b/src/expr/expr_manager.i @@ -44,7 +44,6 @@ %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorSize>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::AscriptionType>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorBitOf>; -%template(mkConst) CVC4::ExprManager::mkConst<CVC4::SubrangeBounds>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorRepeat>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorExtract>; %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorRotateLeft>; |