From e6d5349abb2d21e889d8565d11deaa7f8e790bf0 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 2 Aug 2022 01:41:56 -0700
Subject: [PATCH] chore: unused variable

---
 src/Lean/Server/References.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Server/References.lean b/src/Lean/Server/References.lean
index 9029a16cf8..20d542214b 100644
--- a/src/Lean/Server/References.lean
+++ b/src/Lean/Server/References.lean
@@ -193,7 +193,7 @@ where
           insertIdMap id baseId
 
     -- apply `FVarAliasInfo`
-    trees.forM (·.visitM' (postNode := fun _ info cs => do
+    trees.forM (·.visitM' (postNode := fun _ info _ => do
       if let .ofFVarAliasInfo ai := info then
         insertIdMap ai.id ai.baseId))