migration.py
branchstable
changeset 6219 803c1019138e
parent 6217 e2aeb40d5983
child 6221 a5cc5dc15f9d
--- a/migration.py	Mon Sep 13 12:24:11 2010 +0200
+++ b/migration.py	Mon Sep 13 13:55:37 2010 +0200
@@ -359,7 +359,7 @@
             import doctest
             doctest.testfile(migrscript, module_relative=False,
                              optionflags=doctest.ELLIPSIS, globs=scriptlocals)
-        del self._context_stack[-1]
+        self._context_stack.pop()
 
     def cmd_option_renamed(self, oldname, newname):
         """a configuration option has been renamed"""