Check it but don’t add his income since he didn’t have a filing requirement. If the program gives you a problem with that then don’t check that he is filing. Bottom line is that a dependent filing only to receive a refund does not have their AGI added to the parents AGI for ACA considerations.
