R.I.
All I can say is that the same thing happened to me when I was 18 and I'm fine. I also went to boarding school and I know that they were vigilant of me. I would talk to the school/dorm parent/dean or whatever and have them remind her to rest... that's all. I have no medical advice but as far as I know I'm fine. I'm 31 with two small kids.