I recently commented on a solution and pointed out a small error; the author soon commented back, thanked me and corrected the error. He/she was perfectly nice, and I'm not asking the question because of anything they said; but it made me wonder whether at that point, the proper thing to do would be to delete my comment. I realize there's likely no hard rule, but is there any generally accepted practice for this? I was leaning towards deletion, but thought I'd check first as I don't think I would be able to undelete after the fact. Thanks for any feedback.
Delete your comment, flag any associated comments for deletion.
A toy example:
User 1: "I think there is a mistake on the third paragraph. Not every $X$ is a $Y$!"
User 2: "Sorry, I don't understand. Isn't every $X$ a $Y$ when we are in a $Z$?
User 1: "No, that only holds for specific $Z$'s."
User 2: "Ok, thanks!"
All such comments should be deleted after the issues have been properly fixed. Actually, this is true for every comment: comments are requests for clarification and/or pointers for problems which should be deleted after the associated clarifications have been made, or problems have been solved. (There are some exceptions to this rule, but the major exception is meta itself. Comments are actually used for discussion here, perhaps due to the nature of meta itself. )
An analogy which I'm quite fond of is that comments are quite similar in functionality to "post-it notes". The idea is that comments are intended to help the answers and questions to become better. Comments should not be appendages of quality: whatever their content is, if it is useful, it should live in the question/answer. If it is not useful, it should live nowhere. Either way, the comment has no use after it has served its purpose of improving the question/answer, and should disappear to reduce clutter. (Exactly like a post-it note!)