vacuna varicela 2ªdosis diferente marca

Mi hija tiene 11 años, a los 15 meses recibio la vacuna varilrix, hasta la fecha no ha padecido la enfermedad. En su colegio este año vacunan a los niños que no han pasado la varicela y que no han sido vacunados.En el caso de mi hija hubo un mal entendido y la vacunaron administrandole una dosis de la marca VARIVAX. Me dicen que no pasa nada. Yo estoy preocupada pues a mi me han dicho que cuando se revacuna hay que utilizar la misma marca. Le puede pasar algo por utilizar la vacuna de la otra marca?.Gracias por adelantado.