From 35415802db09738fabb5d3fc04eaf11c0f26249a Mon Sep 17 00:00:00 2001
From: Paul Callaghan
Date: Wed, 12 May 1999 14:16:47 +0000
Subject: changed use of proof-send (OLD) to proof-shell-insert

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

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 5c6c05bd..6eb8061c 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -638,7 +638,7 @@ We assume that module identifiers coincide with file names."
 
 (defun plastic-send-one-undo ()
 	"send an Undo cmd"
-    (proof-send (concat plastic-lit-string " &S Undo;")))
+    (proof-shell-insert (concat plastic-lit-string " &S Undo;")))
 
 (defun plastic-try-cmd ()
     "undo whatever was tried, if error-free"
-- 
cgit v1.2.3