# HG changeset patch
# User Siddharth Agarwal <sid0@fb.com>
# Date 1384569062 28800
# Node ID 6284b0b160333d737bf65bb4bb387e0b905d4d12
# Parent  2880b45636ca2443b9bce3dec862648021b580ce
strip: use bookmarks.unsetcurrent instead of setcurrent with None

diff -r 2880b45636ca -r 6284b0b16033 hgext/strip.py
--- a/hgext/strip.py	Fri Nov 15 18:28:57 2013 -0800
+++ b/hgext/strip.py	Fri Nov 15 18:31:02 2013 -0800
@@ -209,7 +209,7 @@
 
     if opts.get('bookmark'):
         if mark == repo._bookmarkcurrent:
-            bookmarks.setcurrent(repo, None)
+            bookmarks.unsetcurrent(repo)
         del marks[mark]
         marks.write()
         ui.write(_("bookmark '%s' deleted\n") % mark)