I would just watch it for a cpl of days add some salt and do a slight temp increase. More than likely he'll be fine as long as he stays away from the fish that did it. FYI it is commonly accepted info that you need 5-6 aros in a single tank to spread out aggression and hopefully avoid these problems.
