If Trump gets to 1237 then there is no need for them to drop out. But then again you had to have followed the entire thread, to know why that question was asked in the first place.
My point is that they should not drop out unless Trump gets to 1237 - until then, no one has won the nomination.