Check the closing package that was given to him - if a 1099 was generated, it would be in with the closing documents.  If they were divorced when the home sold and it was jointly owned, they each report half of the selling price and the cost plus improvements and closing costs are also split in half and reported on each return.