r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore: update toolchain

main
Henrik Böving 2022-04-19 20:18:28 +02:00
parent ea66f7f243
commit 9a6bf85588
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
DocGen4/Process.lean
View File

@ -142,7 +142,8 @@ def prettyPrintTerm (expr : Expr) : MetaM CodeWithInfos := do
options := ← getOptions options := ← getOptions
currNamespace := ← getCurrNamespace currNamespace := ← getCurrNamespace
openDecls := ← getOpenDecls openDecls := ← getOpenDecls
fileMap := default fileMap := default,
ngen := ← getNGen
} }
pure $ tagExprInfos ctx infos tt pure $ tagExprInfos ctx infos tt

2
lean-toolchain
View File

@ -1 +1 @@
leanprover/lean4:nightly-2022-04-04 leanprover/lean4:nightly-2022-04-16