From 5dc5e6f085b1f2b2fb6a2ee6216b6d609310071b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 8 Apr 2021 16:50:47 +0200
Subject: Fix useless quotes generatinf warnings.

---
 coq/coq-system.el | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 01b9b1d5..804831da 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -652,27 +652,27 @@ Does nothing if `coq-use-project-file' is nil."
 ;; need to make this hook local.
 ;; hack-local-variables-hook seems to hack local and dir local vars.
 (add-hook 'coq-mode-hook
-          '(lambda ()
-             (add-hook 'hack-local-variables-hook
-                       'coq-load-project-file
-                       nil t)))
+          (lambda ()
+            (add-hook 'hack-local-variables-hook
+                      'coq-load-project-file
+                      nil t)))
 
 ; detecting coqtop args should happen at the last moment before
 ; calling the process. In particular it should ahppen after that
 ; proof-prog-name-ask is performed, this hook is at the right place.
 (add-hook 'proof-shell-before-process-hook
-          '(lambda ()
-             ;; It seems coq-prog-name and proof-prog-name are not correctly linked
-             ;; so let us make sure they are the same before computing options
-             (setq coq-prog-name proof-prog-name)
-             (setq coq-prog-args (coq-prog-args))))
+          (lambda ()
+            ;; It seems coq-prog-name and proof-prog-name are not correctly linked
+            ;; so let us make sure they are the same before computing options
+            (setq coq-prog-name proof-prog-name)
+            (setq coq-prog-args (coq-prog-args))))
 
 ;; smie's parenthesis blinking is too slow, let us have the default one back
 (add-hook 'coq-mode-hook
-          '(lambda ()
-             (when (and (fboundp 'show-paren--default)
-                        (boundp 'show-paren-data-function))
-               (setq show-paren-data-function 'show-paren--default))))
+          (lambda ()
+            (when (and (fboundp 'show-paren--default)
+                       (boundp 'show-paren-data-function))
+              (setq show-paren-data-function 'show-paren--default))))
 
 
 
-- 
cgit v1.2.3