From 6b53c4e7091795a36e9e69f03451a9cc8411b73a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 17:34:22 +0000
Subject: Changed name of proof-shell-cd-cmd for uniformity.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 9efcf21f..92912244 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -489,7 +489,7 @@
 
 (defun coq-shell-mode-config ()
   (setq proof-shell-prompt-pattern coq-shell-prompt-pattern
-        proof-shell-cd coq-shell-cd
+        proof-shell-cd-cmd coq-shell-cd
         proof-shell-abort-goal-regexp coq-shell-abort-goal-regexp
         proof-shell-proof-completed-regexp coq-shell-proof-completed-regexp
         proof-shell-error-regexp coq-error-regexp
-- 
cgit v1.2.3