Add missing requires to use-package macros

2024-07-22 07:43:42 +03:00 · 2024-07-22 07:43:42 +03:00 · 9f73e90317
commit 9f73e90317
parent a82e24839c
19 changed files with 67 additions and 65 deletions
--- a/lang/lean.el
+++ b/lang/lean.el
@ -11,6 +11,7 @@
 	           :host github
 	           :repo "leanprover/lean4-mode"
 	           :files ("*.el" "data"))
+  :requires (lsp)
  :defer t)

 (defun activate-lean-mode ()