From 484cffdfbc4e1385e35d53eda5613ce2e3b3631c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 16:37:43 +0000
Subject: Changed name of proof-shell-cd-cmd for uniformity.

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

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 2c3e44ef..2bb24513 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -511,7 +511,7 @@ We assume that module identifiers coincide with file names."
 
 (defun plastic-shell-mode-config ()
   (setq proof-shell-prompt-pattern plastic-shell-prompt-pattern
-        proof-shell-cd plastic-shell-cd
+        proof-shell-cd-cmd plastic-shell-cd
         proof-shell-abort-goal-regexp plastic-shell-abort-goal-regexp
         proof-shell-proof-completed-regexp plastic-shell-proof-completed-regexp
         proof-shell-error-regexp plastic-error-regexp
-- 
cgit v1.2.3