I'm just afraid that adding it to the boil was a bad idea.
The beer will not get infected if that is your concern. I do not understand otherwise why you think it was a bad idea.
Also, you do not have to pasteurize anything if you are going to boil it for 10 min. That is duplicative.