@Mike9241
It was a property damage suit.
The damages were not punitive, were significantly less than the value of the property - so no capital gains.
