Merge pull request #717 from ayanamists/master

coq/coq-mode.el: Change the definition of 'coq--parent-mode
ProofGeneral · Jan 19, 2024 · 35d5efa · 35d5efa
2 parents 43285bd + 499d682
commit 35d5efa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq/coq-mode.el b/coq/coq-mode.el
@@ -179,8 +179,8 @@ Near here means PT is either inside or just aside of a comment."
 ;;;###autoload
 (add-to-list 'auto-mode-alist '("\\.v\\'" . coq-mode))
 
-(defun coq--parent-mode ()
-  (if coq-use-pg (proof-mode) (prog-mode)))
+(defalias 'coq--parent-mode
+  (if coq-use-pg 'proof-mode 'prog-mode))
 
 ;;;###autoload
 (define-derived-mode coq-mode coq--parent-mode "Coq"