Should a comment pointing to a necessary edit on OP's post be deleted after the appropriate action has been taken and the answer edited?
For example:
OP writes in his answer:
pritn('Hello World!')
But clearly there is a typo there (pritn instead of print), so someone writes a comment pointing that out. OP (or whoever else) edits the post, correcting the above mistake.
So my question is, should the comment be deleted?