From 4412031fbd8b3f4390a2b5e22a0be8cde8f706b9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Sep 2009 08:18:34 +0000
Subject: Fix highlighting of error region

---
 coq/coq.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 94e30d65..ffaed23f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1249,7 +1249,8 @@ buffer."
               (len (length (match-string 3))))
           ;; clean the response buffer from ultra-ugly underlined command line
           ;; parsed above. Don't kill the first \n
-          (when clean (delete-region (+ (match-beginning 0) 1) (match-end 0)))
+          (let ((inhibit-read-only t))
+            (when clean (delete-region (+ (match-beginning 0) 1) (match-end 0))))
           (when proof-shell-unicode
             ;; `pos' and `len' are actually specified in bytes, apparently.
             ;; So let's convert them, assuming the encoding used is utf-8.
@@ -1296,8 +1297,7 @@ buffer."
         (let* ((start (point))
                (dummy (goto-char
                        (byte-to-position (+ (position-bytes (point)) lgth))))
-               (sp (span-make start (point)))
-               (inhibit-read-only t))
+               (sp (span-make start (point))))
           (set-span-face sp 'proof-warning-face)
           (unwind-protect
               (sit-for 5) ;; da: this was 20 but seemed obnoxiously long?
-- 
cgit v1.2.3