diff options
| -rwxr-xr-x | Tools/scripts/highlight.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/highlight.py b/Tools/scripts/highlight.py index 88b709f..70da649 100755 --- a/Tools/scripts/highlight.py +++ b/Tools/scripts/highlight.py @@ -21,7 +21,7 @@ def combine_range(lines, start, end): return ''.join(rows), end def isolate_tokens(source): - 'Generate chunks of source and indentify chunks to be highlighted' + 'Generate chunks of source and identify chunks to be highlighted' lines = source.splitlines(True) lines.append('') readline = functools.partial(next, iter(lines), '') |