Repair only works in the case of a virus infection of a legit file, Trojans, etc. are malicious files so no repair can be effected.
What were the file names and full location ?