Probably should have 3 bet the flop, I don't know if a push is necessarily in order, however you should have attempted to get more of his stack in the middle to set up for a turn push.