changeset 8697 | 574bb05e40a4 |
parent 8695 | 358d8bed9626 |
child 8711 | 64a400eea6dd |
--- a/ext/rest.py Thu Feb 14 16:01:24 2013 +0100 +++ b/ext/rest.py Thu Feb 14 16:45:07 2013 +0100 @@ -169,7 +169,7 @@ % (name, error.__class__.__name__, error), nodes.literal_block(block_text, block_text), line=lineno) return [severe] - if options.has_key('literal'): + if 'literal' in options: literal_block = nodes.literal_block(include_text, include_text, source=path) literal_block.line = 1