To the best of my knowledge the loan was included in the discharge. I am looking it up next week.