From 80c3103a85deb61ed37963bb114dad5901ca2c39 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 15 Jan 2006 20:25:36 +0000
Subject: Bug (code prévu pour iso-latin et non utf-8)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7869 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/lexer.ml4 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4
index caae659ec3..be52fa5f17 100644
--- a/parsing/lexer.ml4
+++ b/parsing/lexer.ml4
@@ -327,8 +327,9 @@ let parse_226_tail tk = parser
       t = special (progress_special c3 (progress_special c2 
 	(progress_special '\226' tk))) >] ->
       TokSymbol t
-  | [< len = ident_tail (store 0 '\226') >] ->
-      TokIdent (get_buff len)
+  | [< '_; '_ >] ->
+      (* Unsupported utf-8 code *)
+      TokSymbol None
 
 
 (* Parse what follows a dot *)
-- 
cgit v1.2.3