From 24aec7cd2be59f5bc9d81f6d4217ad842222f8b2 Mon Sep 17 00:00:00 2001
From: fdeitylink <11952260+fdeitylink@users.noreply.github.com>
Date: Sat, 24 May 2025 20:27:15 -0400
Subject: [PATCH] fix(coq): void-function company-coq

---
 modules/lang/coq/config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 6bfe5195a..5f0a79aa1 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -87,7 +87,7 @@
              (when (bound-and-true-p company-mode)
                (company-mode -1))
              (add-hook 'completion-at-point-functions
-                       (cape-company-to-capf 'company-coq)
+                       (cape-company-to-capf 'company-coq-master-backend)
                        nil t)))
          (defadvice! +coq--proof-goto-point-advice (&rest _)
            :override #'company-coq--proof-goto-point-advice