Nope. Such a comment (if it was merely "thanks for the edit" or something similar) would likely be deleted as noise.
You're actually able to ping users who have edited your posts - they'll receive the notification even though it won't autocomplete, so make sure you get the spelling correct - but there's not really any need. If you feel like their edit was confusing or they misconstrued your point, you might ping them to let them know that but, in general, there's no need to thank people for anything here in comments.
Some of our users do hang out in chat and if they're one of them, you're more than welcome to thank them there.