From a326ff399be1691643fe4bbbde4a27896b194e82 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 6 Jan 2016 17:08:57 +0100 Subject: Fixing #25. proof-script-buffer was not set before calling proof-shell-ready-prover. --- generic/proof-script.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'generic/proof-script.el') diff --git a/generic/proof-script.el b/generic/proof-script.el index e65d2fc9..3a24595e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1240,11 +1240,12 @@ activation is considered to have failed and an error is given." (assert (null proof-script-buffer) "Bug in proof-activate-scripting: deactivate failed.") + ;; Set the active scripting buffer, and initialise regions + (setq proof-script-buffer (current-buffer)) + ;; Fire up the prover (or check it's going the right way). (proof-shell-ready-prover queuemode) - ;; Set the active scripting buffer, and initialise regions - (setq proof-script-buffer (current-buffer)) (if (proof-locked-region-empty-p) ; leave alone if non-empty (proof-init-segmentation)) -- cgit v1.2.3