diff options
Diffstat (limited to 'src/expr/expr_builder.cpp')
-rw-r--r-- | src/expr/expr_builder.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/expr/expr_builder.cpp b/src/expr/expr_builder.cpp index 3b0cf4041..c5f366654 100644 --- a/src/expr/expr_builder.cpp +++ b/src/expr/expr_builder.cpp @@ -129,10 +129,6 @@ ExprBuilder& ExprBuilder::operator<<(const Kind& op) { ExprBuilder& ExprBuilder::operator<<(const Expr& child) { } -template <class Iterator> -ExprBuilder& ExprBuilder::append(const Iterator& begin, const Iterator& end) { -} - void ExprBuilder::addChild(const Expr& e) { if(d_nchildren == nchild_thresh) { vector<Expr>* v = new vector<Expr>(); |