diff options
| author | Mirai IKEBUCHI | 2018-10-13 21:03:10 -0400 |
|---|---|---|
| committer | GitHub | 2018-10-13 21:03:10 -0400 |
| commit | 8ef9cb0600e8276ad10968dfe9aff49723bfbc6e (patch) | |
| tree | 2bab48cc7c027aa1eb6769705b24f738a086c027 | |
| parent | 235cb6e6c243863b7270d273ceeef681eb350247 (diff) | |
Add unicode category LM
| -rw-r--r-- | clib/unicode.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clib/unicode.ml b/clib/unicode.ml index 1e45c0d250..a122e2c46a 100644 --- a/clib/unicode.ml +++ b/clib/unicode.ml @@ -86,6 +86,7 @@ let classify = Unicodetable.ll; (* Letter, lowercase. *) Unicodetable.lt; (* Letter, titlecase. *) Unicodetable.lo; (* Letter, others. *) + Unicodetable.lm; (* Letter, modifier. *) ]; mk_lookup_table_from_unicode_tables_for IdentPart [ |