From 63ea80bc2435798a59822790bb09b5d19bc27777 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 14:58:24 +0000
Subject: Removed proof-try-command.

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

diff --git a/plastic/plastic.el b/plastic/plastic.el
index a8a1e6b1..0678042f 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -653,7 +653,8 @@ We assume that module identifiers coincide with file names."
     "undo whatever was tried, if error-free"
     (interactive)
     (plastic-reset-error)
-    (proof-try-command)
+    (let ((proof-state-preserving-p nil)) ; allow any command
+      (proof-execute-minibuffer-cmd))
     (plastic-call-if-no-error 'plastic-send-one-undo))
 
 (defun plastic-minibuf ()
-- 
cgit v1.2.3