diff options
| -rw-r--r-- | tools/coqdoc/cpretty.mll | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll index 95ad1c1139..779d10e99d 100644 --- a/tools/coqdoc/cpretty.mll +++ b/tools/coqdoc/cpretty.mll @@ -264,10 +264,8 @@ let space_nl = [' ' '\t' '\n' '\r'] let nl = "\r\n" | '\n' let firstchar = - ['A'-'Z' 'a'-'z' '_' - (* iso 8859-1 accents *) - '\192'-'\214' '\216'-'\246' '\248'-'\255' ] | - (* *) + ['A'-'Z' 'a'-'z' '_'] | + (* superscript 1 *) '\194' '\185' | (* utf-8 latin 1 supplement *) '\195' ['\128'-'\191'] | |