From 7e491ce1c01010e50ea8cada2e3e681c33bbe00e Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Fri, 26 Feb 2021 21:24:54 -0500 Subject: [PATCH] lang/lean: minor reformatting --- modules/lang/lean/config.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/modules/lang/lean/config.el b/modules/lang/lean/config.el index 3cff278d5..8b9f36848 100644 --- a/modules/lang/lean/config.el +++ b/modules/lang/lean/config.el @@ -29,8 +29,8 @@ (use-package! company-lean + :when (featurep! :completion company) + :after lean-mode :init (advice-add #'company-lean-hook :override #'ignore) - (set-company-backend! 'lean-mode 'company-lean) - :when (featurep! :completion company) - :after lean-mode) + (set-company-backend! 'lean-mode 'company-lean))