I said Avast didn’t give me the option to move it into the virus chest. The file apparently was deleted, though I never got a “virus deleted” message, or something of the sort. That’s why I’m asking if there’s something else I can do. How can I be sure it was deleted if I didn’t get a message?

The only trace of virus is in the scan log.