From 7e3eb90d09027bc29a6d592769dad562b1e02855 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 30 Nov 2009 23:44:54 +0000
Subject: Fix for Trac #307.

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

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 66d101fc..b2c71bce 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1129,13 +1129,13 @@ activation is considered to have failed and an error is given."
   (unless (eq proof-buffer-type 'script)
     (error "Must be running in a script buffer!"))
 
+  (proof-shell-ready-prover queuemode) ; fire up/check mode
+
   (unless (equal (current-buffer) proof-script-buffer)
 
     ;; TODO: narrow the scope of this save-excursion.
     ;; Where is it needed?  Maybe hook functions.
     (save-excursion
-      (proof-shell-ready-prover queuemode) ; fire up the prover
-
       ;; If there's another buffer currently active, we need to
       ;; deactivate it (also fixing up the included files list).
       (if proof-script-buffer
-- 
cgit v1.2.3