I would have gotten it all in on the flop. Even if they have the flush you have outs to fill up. If they chase the draw you're making it a mistake for them to do so.