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>();