From 00d580e47de5c9d1d1ada4d51ddda34876706a28 Mon Sep 17 00:00:00 2001
From: Leonardo Santiago <leonardo@mixrank.com>
Date: Thu, 25 Apr 2024 15:12:28 -0300
Subject: fix proof-general

---
 modules/emacs/README.org | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/emacs/README.org b/modules/emacs/README.org
index 0d672c0..9a61d88 100644
--- a/modules/emacs/README.org
+++ b/modules/emacs/README.org
@@ -257,8 +257,8 @@ Try to use the package.
 #+end_src
 ** Coq
 #+begin_src emacs-lisp :tangle yes
-(use-package proof-general
-  :mode "\\.v\\'")
+(use-package proof-general)
+
 (use-package company-coq
   :hook (coq-mode . company-coq-mode))
 #+end_src
-- 
cgit v1.2.3