Get your taxes done using TurboTax

He is 20 (19 at the time) and not a student.  He was living at home and on our insurance which is why I thought we could claim him.  He did file a federal return but on the return it said he could be claimed.   He however WAS NOT CLAIMED.  The question is DOES he need to MANUALLY fill out and send in a 1040x because when we changed his status in the program and when we did that, it only affected his Michigan return.  We did file that amendment but no 1040x was triggered federally.   So, will the IRS know he was not claimed or is there something we need to do