From f6e9b943fd673213646d7ff9bcddc1d12b1561e7 Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Mon, 27 Aug 2018 14:11:14 +0200
Subject: [PATCH] Change ref function

---
 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 b91cb9efb..2997369b8 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -3,7 +3,7 @@
 (after! company-coq
   (set-lookup-handlers! 'company-coq-mode
     :definition #'company-coq-jump-to-definition
-    :references #'company-coq-occur
+    :references #'company-coq-grep-symbol
     :documentation #'company-coq-doc)
   (when (not (featurep! :completion company))
     (setq company-coq-disabled-features '(company company-defaults))))