From e4ce3196f9e265b43dc85e2b21097890ad7b152a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 18:52:47 +0000
Subject: proof-shell-done-invisible -> proof-done-invisible again

---
 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 30561b16..f9ee3df8 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -654,7 +654,7 @@ We assume that module identifiers coincide with file names."
     ;; Interface to proof-shell-insert now requires two args (for the
     ;; sake of plastic!) and shouldn't be called from PG instances 
     (proof-shell-insert (concat plastic-lit-string " &S Undo;")
-			'proof-shell-done-invisible))
+			'proof-done-invisible))
 
 (defun plastic-try-cmd ()
     "undo whatever was tried, if error-free"
-- 
cgit v1.2.3