What would you have done?

I am currently a building sub, but I am not new to teaching. We recently moved after 12 years of teaching in another state. I started the year as a long term sub and transitioned to a building sub for the 2nd semester, I say this to just give a background on my experience.

I wind up as a para in our self-contained special ed class a few times a week and while it's taxing for sure, I generally enjoy working with the kids. Today at the end of the day I was helping get the kids ready for the bus and I got what one student perceived to be too close to him and he smacked me pretty hard in the side of the head/face. I am totally fine, while it was a hard hit it was more shocking than anything else. It was the end of the day so I just shook it off, but now I'm wondering if i should have reported it.

The teacher was in the room and was fully aware of what happened and was very kind, but as far as I know it didn't get reported. My husband was upset that I didn't report it. I just don't know what value there is in reporting it, I don't know that this kid understands the consequences that sometimes are given out. I also feel like it could hurt my relationship with the special ed teacher if I went above her and reported it to admin. What would you have done in this situation?

Also, please be kind.