diff --git a/src/library/rewriter/rewriter.cpp b/src/library/rewriter/rewriter.cpp
index 6230b69bbf..e34ca938d6 100644
--- a/src/library/rewriter/rewriter.cpp
+++ b/src/library/rewriter/rewriter.cpp
@@ -130,7 +130,7 @@ pair<expr, expr> orelse_rewriter_cell::operator()(environment const & env, conte
 }
 std::ostream & orelse_rewriter_cell::display(std::ostream & out) const {
     out << "Or_RW({";
-    iter(m_rwlist, [&out](rewriter const & rw) {
+    for_each(m_rwlist, [&out](rewriter const & rw) {
             out << rw << "; ";
         });
     out << "})";
@@ -160,7 +160,7 @@ pair<expr, expr> then_rewriter_cell::operator()(environment const & env, context
 }
 std::ostream & then_rewriter_cell::display(std::ostream & out) const {
     out << "Then_RW({";
-    iter(m_rwlist, [&out](rewriter const & rw) {
+    for_each(m_rwlist, [&out](rewriter const & rw) {
             out << rw << "; ";
         });
     out << "})";
@@ -189,7 +189,7 @@ pair<expr, expr> try_rewriter_cell::operator()(environment const & env, context
 }
 std::ostream & try_rewriter_cell::display(std::ostream & out) const {
     out << "Try_RW({";
-    iter(m_rwlist, [&out](rewriter const & rw) {
+    for_each(m_rwlist, [&out](rewriter const & rw) {
             out << rw << "; ";
         });
     out << "})";
diff --git a/src/util/list_fn.h b/src/util/list_fn.h
index e311bb0f7a..d989d31dbd 100644
--- a/src/util/list_fn.h
+++ b/src/util/list_fn.h
@@ -119,12 +119,12 @@ list<T> map(list<T> const & l, F f) {
    \brief Given list <tt>(a_0, ..., a_k)</tt>, exec f(a_0); f(a_1); ... f(a_k)</tt>.
 */
 template<typename T, typename F>
-void iter(list<T> const & l, F f) {
+void for_each(list<T> const & l, F f) {
     if (is_nil(l)) {
         return;
     } else {
         f(head(l));
-        return iter(tail(l), f);
+        return for_each(tail(l), f);
     }
 }