La llegada del emperador Teodosio en 380 decidió el asunto en favor de Gregorio.