El tratado no contempló, sin embargo, la cesión de Gibraltar.