diff options
| author | Georg Brandl <georg@python.org> | 2014-11-06 10:50:51 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-11-06 10:50:51 +0100 |
| commit | f85f1efd48098dbb8cbf69b90e25b247ca07e39f (patch) | |
| tree | 2725322156ea70dc0276d6d94bcfa7736c08dd35 | |
| parent | 2fb8602139617b7ac3e9d14290baac92b5dad969 (diff) | |
| download | pygments-f85f1efd48098dbb8cbf69b90e25b247ca07e39f.tar.gz | |
Ocaml: be more conciliatory after dotted name
| -rw-r--r-- | pygments/lexers/ml.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/ml.py b/pygments/lexers/ml.py index c2d2bb12..db36bf92 100644 --- a/pygments/lexers/ml.py +++ b/pygments/lexers/ml.py @@ -441,6 +441,7 @@ class OcamlLexer(RegexLexer): (r'[A-Z][\w\']*(?=\s*\.)', Name.Namespace), (r'[A-Z][\w\']*', Name.Class, '#pop'), (r'[a-z_][\w\']*', Name, '#pop'), + default('#pop'), ], } |