I would not ask for a refund.
I would certainly ask for a refund or discount. The one who made the mistake should have a consequence for it or it shows the mistake didn't matter that much. Dismissing the mistake as it's okay gives support to the Whatever mentality that many have when they mess up.