He had 3 outs, you're push was 100% correct. Do you want him to fold when an ace doesnt hit the majority of the time? Get all of his chips now.