changed the ensures clause of swap_first_entry
Merge pull request #46 from yushan87/minorfix

changed the ensures clause of swap_first_entry