You’re welcome.

Hopefully that will be enough, if not you may have to download the full virus database, but the repair process/dialogue should show if that is necessary.