Ok, seems silly but you can redo the repair…
But, why are you going into this?

Do you have any other antivirus installed in your computer?
Did you have in the past? Which one?
Do you use a firewall? Which one?