Krol jugó como capitán de Países Bajos la Eurocopa de 1980, donde el equipo decepcionó, siendo apeado de la competición en la primera ronda por Alemania Occidental y Checoslovaquia.