Changed name of proof-shell-cd-cmd for uniformity.

1 files changed, 1 insertions, 1 deletions

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