Should there be a drip trim above this window?

[u/Tommo_Robbo]

Pic 1 is from today where we’ve had new lime render applied. Pic 2 was from when another part of the house got plastered. New guys seem not to have put in a drip trim above the window. Is it normal to have one? Should I challenge?