Workers compensation is not reported on a tax return. If that was his only income he does not need to file a tax return.
