You don't if the full distribution was in your client's name.  They have something called QDRO where the spouse gets part of the distribution directly.  If someone's lawyer didn't go that route, your client should find another lawyer for their next divorce.