Yoda would have done the double tap to make sure Anakin died. He wasn't sentimental like Obi Wan.