And it still would. Non-collusive miners cast votes based on the outcome of their own attempts to double spend.
I'm using it in the same sense Satoshi used it. Honest miners work to prevent double spends. That's the entire justification for their existence. Miners that are deliberately trying to double spend are worse than useless.