From fb833a724b953bf17abe8f12680c8a28d7d1a472 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 6 Jul 2015 16:39:47 -0700
Subject: [PATCH] fix(src/frontends/lean/parser): add extra annotations to
 workaround with clang 6.0.0

---
 src/frontends/lean/parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp
index d2ba33a5d..4d9c40a97 100644
--- a/src/frontends/lean/parser.cpp
+++ b/src/frontends/lean/parser.cpp
@@ -1916,7 +1916,7 @@ void parser::save_overload_notation(list<expr> const & as, pos_info const & p) {
 void parser::save_overload_notation(list<pair<unsigned, expr>> const & as, pos_info const & p) {
     if (!m_info_manager || length(as) <= 1)
         return;
-    list<expr> new_as = map2<expr>(as, [](pair<unsigned, expr> const & p) { return p.second; });
+    list<expr> new_as = map2<expr, pair<unsigned, expr>, std::function<expr(pair<unsigned, expr> const &)>>(as, [](pair<unsigned, expr> const & p) { return p.second; });
     save_overload_notation(new_as, p);
 }
 void parser::save_identifier_info(pos_info const & p, name const & full_id) {