From f97cb5f27b1ac21d2e3b9a807a588924985e4cda Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 17 Sep 2009 12:26:55 +0000
Subject: Fixed error highlighting with utf8.

---
 coq/coq.el | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 13eda8d2..2543eedd 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1291,12 +1291,9 @@ buffer."
         (goto-char (+ (proof-locked-end) 1))
         (coq-find-real-start)
 
-        ; Seems to work, even with utf8 chars (emacs23)
+        ; utf8 adaptation is made in coq-get-last-error-location above
         (goto-char (+ (point) pos))
-        (let* ((start (point))
-               (dummy (goto-char
-                       (byte-to-position (+ (position-bytes (point)) lgth))))
-               (sp (span-make start (point))))
+        (let* ((sp (span-make (point) (+(point) lgth))))
           (set-span-face sp 'proof-warning-face)
           (unwind-protect
               (sit-for 5) ;; da: this was 20 but seemed obnoxiously long?
-- 
cgit v1.2.3