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))