# HG changeset patch
# User Aurelien Campeas <aurelien.campeas@logilab.fr>
# Date 1284378937 -7200
# Node ID 803c1019138ec550a26d8caea524e3d2b88cb180
# Parent  d37428222a6325583be958d7c7fe7c595115663d
[migration] .pop() is more readable

diff -r d37428222a63 -r 803c1019138e migration.py
--- 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"""