The edit wasn't just superfluous, it was actively wrong. It's inappropriate to go around changing posts to alter their style and semantic preferences to fit your own, as was done here. Since this edit wasn't just useless, but improper, you should roll it back (as has since been done). If you want to comment, you can. If the user re-applies the edit, or you notice that edits like this are a pattern for that user, then flag for moderator attention and explain the situation (and stop interacting with them from then on; let the moderator do their job).
If the edit was actually just superfluous, and not harmful, then you wouldn't want to roll it back (rolling back an edit that doesn't make any meaningful change is just as bad as the meaningless edit was) and it's generally not worth acting on at all in an isolated case. If you notice a pattern of a user making lots of edits that don't make meaningful changes, to the point that it actually starts inhibiting use of the active question feed, for example, then that's time to flag for a mod and explain the situation. But again, that's not the situation for this particular edit.
{}
, which is unnecessary and revision 5 should have been a new answer instead of an edit.something
variable name withprop
. That's adding value in my book and it makes for more readable and understandable code.