From 68942cb4582e09e20700255a65a5c4f1a6eeeb00 Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Sun, 11 Jun 2023 22:18:00 +0200
Subject: [PATCH] use-package company-coq

---
 init.org | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/init.org b/init.org
index 89d59cb..30110cb 100644
--- a/init.org
+++ b/init.org
@@ -207,8 +207,7 @@
 
   (let* ((package--builtins nil)
          (packages
-          '(company-coq          ; A collection of extensions PG's Coq mode
-            counsel              ; Various completion functions using Ivy
+          '(counsel              ; Various completion functions using Ivy
             counsel-projectile   ; Ivy integration for Projectile
             dashboard            ; A startup screen extracted from Spacemacs
             define-word          ; display the definition of word at point
@@ -1470,7 +1469,9 @@
 
    #+begin_src emacs-lisp
 
-   (add-hook 'coq-mode-hook #'company-coq-mode)
+   ;; A collection of extensions PG's Coq mode
+   (use-package company-coq
+     :hook (coq-mode . company-coq-mode))
 
    #+end_src