I'm not sure that the gull would actually have hunted the stint. I haven't previously seen gulls making any attempt to catch birds of any sort, and if this happened regularly I think the shorebirds would be scared of gulls (as they are of other predators).
It may be that the stint was very sick or already dead, and the gull ate it opportunistically as a meal.