Fix interactive posn

1 files 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!"))