from my vantage point i believe you made the right play. the only thing that could have changed me is the player you were up against. if he was a mouse, someone who only plays the best
hands, i would have folded after he came over the top with a bigger bet. if it was a jackal, someone who raises on just about every preflop, i would pushed all in after he raised. id still say it was a good play, just an unlucky break.