I think you did the right thing. This isn't a video game where you can just erase a file and start over. D&D is always a group effort and you have to take other people's efforts towards the game into account when considering actions like that.