Cruz isn't eliminated until Trump gets 1237 delegates.
Once Cruz can’t get to that number he is eliminated.