Usually, 2-betting 2x the original bet would have either pushed him all-in on a bluff or a given hand, either way, if you'd had the 7 it would have been a good move.