From b86677ef8d05114a48f0d7fa53e36a71c71fa4b3 Mon Sep 17 00:00:00 2001
From: glondu
Date: Wed, 10 Jun 2009 12:10:29 +0000
Subject: Accept more Unicode symbols

The comment just below makes me think this is just a typo...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12180 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index 82b1afabfb..549c40e30c 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -265,7 +265,7 @@ let classify_unicode unicode =
     (* utf-8 arrows and brackets U27E0-U27FF *)
     | x when 0x27E0 <= x & x <= 0x27FF -> UnicodeSymbol
     (* utf-8 brackets, braces and parentheses *)
-    | x when 0x2980 <= x & x <= 0x299F -> UnicodeSymbol
+    | x when 0x2980 <= x & x <= 0x29FF -> UnicodeSymbol
     (* utf-8 miscellaneous including double-plus U29F0-U29FF *)
     | x when 0x29F0 <= x & x <= 0x29FF -> UnicodeSymbol
     | _ -> raise UnsupportedUtf8
-- 
cgit v1.2.3