From c42dcf668a91be5d6e2a07f543dd532f0961af2b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 26 May 2011 16:05:53 +0000
Subject: proof-retract-before-change: fix Trac #403 (at least partially) by
 removing restriction during automatic retraction so proof-retract-until-point
 behaves correctly.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 90250753..020f4439 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1977,8 +1977,10 @@ No effect if prover is busy."
       (proof-interrupt-process)
       (proof-shell-wait))
     (save-excursion
-      (goto-char beg)
-      (proof-retract-until-point))))
+      (save-restriction ;; see Trac#403
+	(widen)
+	(goto-char beg)
+	(proof-retract-until-point)))))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3