From 7a23041ef6e3bf6b6fa4f5b276487d77817b04f4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 18:38:55 +0000
Subject: Change name of proof-execute-minibufer-cmd.

---
 plastic/plastic.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 0678042f..4b28ad9a 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -654,7 +654,7 @@ We assume that module identifiers coincide with file names."
     (interactive)
     (plastic-reset-error)
     (let ((proof-state-preserving-p nil)) ; allow any command
-      (proof-execute-minibuffer-cmd))
+      (proof-minibuffer-cmd))
     (plastic-call-if-no-error 'plastic-send-one-undo))
 
 (defun plastic-minibuf ()
@@ -670,7 +670,7 @@ We assume that module identifiers coincide with file names."
     (plastic-send-minibuf))
 
 (defun plastic-send-minibuf ()
-    "take cmd from minibuffer - see doc for proof-execute-minibuffer-cmd"
+    "take cmd from minibuffer - see doc for proof-minibuffer-cmd"
     (interactive)
     (let (cmd)
         (setq cmd (read-string "Command: " nil 'proof-minibuffer-history))
-- 
cgit v1.2.3