diff options
| author | Georg Brandl <georg@python.org> | 2012-02-05 10:45:03 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2012-02-05 10:45:03 +0100 |
| commit | b89ed802bc78e49a2923a656742861c24a49e2c6 (patch) | |
| tree | e91d9cf9fc6858b7258507a3925747943e5560e9 /scripts | |
| parent | 3ba1d188e015b5db28497183b5123362209dba4c (diff) | |
| download | pygments-b89ed802bc78e49a2923a656742861c24a49e2c6.tar.gz | |
Closes #734: support the Coq theorem prover.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/find_error.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/find_error.py b/scripts/find_error.py index 1b793790..fcd36199 100755 --- a/scripts/find_error.py +++ b/scripts/find_error.py @@ -101,6 +101,9 @@ def main(fn, lexer=None, options={}): if lx.__class__.__bases__ == (RegexLexer,): lx.__class__.__bases__ = (DebuggingRegexLexer,) debug_lexer = True + elif lx.__class__.__bases__ == (DebuggingRegexLexer,): + # already debugged before + debug_lexer = True lno = 1 text = file(fn, 'U').read() text = text.strip('\n') + '\n' |