From 5492315053fdc0957ed4e60e096551039c11a395 Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Mon, 27 Aug 2018 13:57:00 +0200
Subject: [PATCH] Added lookup handlers

---
 modules/lang/coq/config.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index eeb919779..b91cb9efb 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,5 +1,9 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
 (after! company-coq
+  (set-lookup-handlers! 'company-coq-mode
+    :definition #'company-coq-jump-to-definition
+    :references #'company-coq-occur
+    :documentation #'company-coq-doc)
   (when (not (featurep! :completion company))
     (setq company-coq-disabled-features '(company company-defaults))))