From 1f51241a8edec34f185b413d7448c54d4404df3a Mon Sep 17 00:00:00 2001 From: tydeu Date: Sun, 1 Aug 2021 14:08:00 -0400 Subject: [PATCH] chore: minor code cleanup --- Lake/BuildTask.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Lake/BuildTask.lean b/Lake/BuildTask.lean index 0451022306..b146f75213 100644 --- a/Lake/BuildTask.lean +++ b/Lake/BuildTask.lean @@ -44,7 +44,7 @@ def afterTask (task : BuildTask) (act : IO PUnit) : IO BuildTask := IO.mapTask (fun x => IO.ofExcept x *> act) task def afterTaskList (tasks : List BuildTask) (act : IO PUnit) : IO BuildTask := - IO.mapTasks (fun xs => xs.forM IO.ofExcept *> act) <| tasks + IO.mapTasks (fun xs => xs.forM IO.ofExcept *> act) tasks instance : HAndThen BuildTask (IO PUnit) (IO BuildTask) := ⟨afterTask⟩