I think it's purely your decision. I mean, there's no right or wrong way to do it. You could tell your boss, and if he gives you a consequence, just suck it up, or keep quiet and pretend like it didn't happen, which wouldn't be the most honest thing to do.