awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-03 12:27:26 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix(coq): void-function company-coq

Browse Source
This commit is contained in:
fdeitylink
2025-05-24 20:27:15 -04:00
committed by Henrik Lissner
parent 6a6ac8f315
commit 24aec7cd2b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
modules/lang/coq/config.el
View File

@ -87,7 +87,7 @@
(when (bound-and-true-p company-mode) (when (bound-and-true-p company-mode)
(company-mode -1)) (company-mode -1))
(add-hook 'completion-at-point-functions (add-hook 'completion-at-point-functions
(cape-company-to-capf 'company-coq) (cape-company-to-capf 'company-coq-master-backend)
nil t))) nil t)))
(defadvice! +coq--proof-goto-point-advice (&rest _) (defadvice! +coq--proof-goto-point-advice (&rest _)
:override #'company-coq--proof-goto-point-advice :override #'company-coq--proof-goto-point-advice