From c843f0b112e9119577b7e4c507ff8302221ba9f7 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Sat, 21 Aug 2021 22:43:27 -0400
Subject: [PATCH] chore: cleanup

---
 Lake/Async.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lake/Async.lean b/Lake/Async.lean
index 7fb728786d..0ad823408e 100644
--- a/Lake/Async.lean
+++ b/Lake/Async.lean
@@ -127,7 +127,7 @@ def afterArrayAsync (last : m (n β)) (tasks : Array (n α)) (start := 0) (stop
         | Nat.zero => last
         | Nat.succ i' =>
           let t := tasks.get ⟨j, Nat.lt_of_lt_of_le hlt h⟩
-          bindAsync t fun a => loop i' (j+1)
+          bindAsync t fun _ => loop i' (j+1)
       else
         last
     loop (stop - start) start