max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: unused variable

Browse source
This commit is contained in:
Leonardo de Moura 2022-08-02 01:41:56 -07:00
parent 3ab26f00ea
commit e6d5349abb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Lean/Server/References.lean
View file

@ -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))