Raising the flop or playing it the way you did are the best options, and I think they are very close. What is the read on villian? Because of the possible flush draw, raising the flop may be slightly better.