fix: make sure LSP extensions are loaded when blogging

leanprover · Dec 13, 2023 · 86e4332 · 86e4332
1 parent b10bd9a
commit 86e4332
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/leanblog/LeanDoc/Genre/Blog.lean b/src/leanblog/LeanDoc/Genre/Blog.lean
@@ -6,6 +6,7 @@ import LeanDoc.Genre.Blog.Site
 import LeanDoc.Genre.Blog.Site.Syntax
 import LeanDoc.Genre.Blog.Template
 import LeanDoc.Genre.Blog.Theme
+import LeanDoc.Doc.Lsp
 import LeanDoc.Doc.Suggestion
 open LeanDoc.Output Html
 open Lean (RBMap)