El emperador, junto con el patriarca Eutiquio, inauguró con mucha pompa la nueva basílica el 27 de diciembre de 537.