diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 4 insertions, 2 deletions
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) |