From 30ada980760747e1e3fc81560061894e80fb3149 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 22 Oct 2010 08:45:19 +0000
Subject: Fixed a bug with utf8 error highlighting in coq 8.3 (bugs with 8.2
 but nevermind).

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index bc76761e..2b51a4aa 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1286,7 +1286,7 @@ buffer."
             ;; since the internal encoding happens to use utf-8 as well.
             ;; Actually in coq-8.3 one utf8 char = one space so we do not need
             ;; this at all
-            (let ((bytes (encode-coding-string text 'utf-8-unix)))
+            (let ((bytes text)) ;(encode-coding-string text 'utf-8-unix)
               ;; Check that pos&len make sense in `bytes', if not give up.
               (when (>= (length bytes) (+ pos len))
                 ;; We assume here that `text' is a single line and use \n as
-- 
cgit v1.2.3