Fixed a bug with utf8 error highlighting in coq 8.3 (bugs with 8.2

but nevermind).

1 files changed, 1 insertions, 1 deletions

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