hgext/strip.py
changeset 24944 08ec11e3ae4c
parent 24709 69154e0ae384
child 24947 a02d293a1079
--- a/hgext/strip.py	Wed May 06 17:15:38 2015 +0200
+++ b/hgext/strip.py	Mon Apr 13 21:53:37 2015 -0700
@@ -61,7 +61,7 @@
         marks = repo._bookmarks
         if bookmark:
             if bookmark == repo._bookmarkcurrent:
-                bookmarks.unsetcurrent(repo)
+                bookmarks.deactivate(repo)
             del marks[bookmark]
             marks.write()
             ui.write(_("bookmark '%s' deleted\n") % bookmark)