diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index fc2b0b85e..1ff5cc560 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -8,5 +8,5 @@ :definition #'company-coq-jump-to-definition :references #'company-coq-grep-symbol :documentation #'company-coq-doc) - (when (not (featurep! :completion company)) + (unless (featurep! :completion company) (setq company-coq-disabled-features '(company company-defaults))))