From 6393ebe16bef4e581726329f7adc41022b0cd96f Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Sat, 18 Aug 2018 14:51:21 +0200
Subject: [PATCH] Removed redundant config

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

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 62bbe97fe..ea8974723 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,7 +1,5 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
 (def-package! proof-site
-  :load-path +coq-pg-loc
-  :defer t
   :mode ("\\.v\\'" . coq-mode)
   :hook (coq-mode . company-coq-mode))