From adb409cc2fb915008cbd989017153c4f3965fdc7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 23:56:22 +0000
Subject: Fix interactive posn

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

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 9992fc2e..6ceb3975 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -613,10 +613,10 @@ We assume that module identifiers coincide with file names."
 
 (defun plastic-minibuf-cmd (cmd)
     "do minibuffer cmd then undo it, if error-free."
+    (interactive
+     (list (read-string "Command: " nil 'proof-minibuffer-history)))
     (print "hello")
     (plastic-reset-error)
-    (interactive
-       (list (read-string "Command: " nil 'proof-minibuffer-history)))
     (if (and proof-state-preserving-p
            (not (funcall proof-state-preserving-p cmd)))
       (error "Command is not state preserving, I won't execute it!"))
-- 
cgit v1.2.3