The historic Mercat de Sant Antoni in Eixample is to get a