diff --git a/DocGen4/Output/Navbar.lean b/DocGen4/Output/Navbar.lean index efc9735..e56aa38 100644 --- a/DocGen4/Output/Navbar.lean +++ b/DocGen4/Output/Navbar.lean @@ -14,7 +14,7 @@ open Lean open scoped DocGen4.Jsx def moduleListFile (file : Name) : HtmlM Html := do - pure