From 499d682f2a25a4783b32fc068d0a0dfdd2346a5d Mon Sep 17 00:00:00 2001 From: Chenxi Li Date: Wed, 6 Dec 2023 12:29:11 +0800 Subject: [PATCH] coq/coq-mode.el: Fix 'coq--parent-mode definition --- coq/coq-mode.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coq/coq-mode.el b/coq/coq-mode.el index abb614a38..cdb0ef19e 100644 --- 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"