Depends on whether he quit before or after the convention. It wouldn’t be a huge deal if he quit before the convention, because there are procedures in place for the delegates to choose a new nominee during the convention. But if he quit after the convention? That could be a huge mess as there’s not much precedence…