diff options
| author | Pierre-Marie Pédrot | 2019-03-30 20:28:06 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-03-30 20:28:06 +0100 |
| commit | 52feb4769d59f0cb843b32d606357194e60d4fc4 (patch) | |
| tree | 153e8714e7a89ed1f591b0b28641cdaa0af50df0 /clib | |
| parent | 1b3009ea672fd57e13e2d6912a97db51dfe8f13f (diff) | |
| parent | 8ef9cb0600e8276ad10968dfe9aff49723bfbc6e (diff) | |
Merge PR #8730: Add unicode category LM
Reviewed-by: jashug
Ack-by: ppedrot
Reviewed-by: vbgl
Diffstat (limited to 'clib')
| -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 [ |