Olá, Maria, como vai?
Seu raciocínio está correto. No código original, a variável contador não é alterada dentro do bloco do while, então a condição contador < 10 permanece sempre verdadeira, gerando um loop infinito. Ao incluir contador += 1, você garante que a condição será atualizada a cada iteração e que o laço terá um ponto de parada.
Como dica adicional, sempre que utilizar while, vale conferir se existe algum mecanismo claro de saída para evitar comportamentos inesperados.
Parabéns pela análise e pela explicação no comentário do código. Continue compartilhando suas resoluções, o fórum está à disposição para acompanhar sua evolução.
Conte com o apoio da comunidade Alura na sua jornada. Abraços e bons estudos!