ext/rest.py
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