From 5cdee603deac6680e32334243b471d7af946ee17 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 May 2003 12:52:47 +0000
Subject: proof-strict-read-only: only alter locked span if live (bug fix)

---
 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 161dadcc..76008f11 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -217,8 +217,10 @@ scripting buffer may have an active queue span.")
   ;; since the queue is constructed ahead of time, that wouldn't
   ;; work.  (Better might be to refactor so that the region is
   ;; parsed as we go)
-  (proof-map-buffers (proof-buffers-in-mode proof-mode-for-script)
-       (proof-span-read-only proof-locked-span)))
+  (proof-map-buffers 
+   (proof-buffers-in-mode proof-mode-for-script)
+   (if (span-live-p proof-locked-span)
+       (proof-span-read-only proof-locked-span))))
 
    
 (defsubst proof-set-queue-endpoints (start end)
-- 
cgit v1.2.3