diff options
| author | Hugo Herbelin | 2017-10-04 22:55:51 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-10-05 08:36:49 +0200 |
| commit | 9a2bb3a6d12a082c61dfda62be53c195fe3cb57c (patch) | |
| tree | 4c07c5c8b8e9cc5a77e6f4df1c278f841b2d325e | |
| parent | b9740771e8113cb9e607793887be7a12587d0326 (diff) | |
Fixing typos in comments of unicode.ml.
| -rw-r--r-- | lib/unicode.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/lib/unicode.ml b/lib/unicode.ml index 959ccaf73c..9e79f1048b 100644 --- a/lib/unicode.ml +++ b/lib/unicode.ml @@ -67,13 +67,13 @@ let classify = Unicodetable.sm; (* Symbol, maths. *) Unicodetable.sc; (* Symbol, currency. *) Unicodetable.so; (* Symbol, modifier. *) - Unicodetable.pd; (* Punctation, dash. *) - Unicodetable.pc; (* Punctation, connector. *) - Unicodetable.pe; (* Punctation, open. *) - Unicodetable.ps; (* Punctation, close. *) - Unicodetable.pi; (* Punctation, initial quote. *) - Unicodetable.pf; (* Punctation, final quote. *) - Unicodetable.po; (* Punctation, other. *) + Unicodetable.pd; (* Punctuation, dash. *) + Unicodetable.pc; (* Punctuation, connector. *) + Unicodetable.pe; (* Punctuation, open. *) + Unicodetable.ps; (* Punctution, close. *) + Unicodetable.pi; (* Punctuation, initial quote. *) + Unicodetable.pf; (* Punctuation, final quote. *) + Unicodetable.po; (* Punctuation, other. *) ]; mk_lookup_table_from_unicode_tables_for Letter [ @@ -114,7 +114,7 @@ let classify = ]; mk_lookup_table_from_unicode_tables_for IdentPart [ - single 0x0027; (* Special space. *) + single 0x0027; (* Single quote. *) ]; (* Lookup *) lookup |