[nongnu] elpa/proof-general 35d5efa7ac 2/2: Merge pull request #717 from ayanamists/master

[ELPA Syncer]

branch: elpa/proof-general
commit 35d5efa7acd797e742c0ab4c802c2c958a42ff26
Merge: 43285bd9ca 499d682f2a
Author: Pierre Courtieu <Matafou@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #717 from ayanamists/master
    
    coq/coq-mode.el: Change the definition of 'coq--parent-mode
---
 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 abb614a389..cdb0ef19ec 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"