Was walking outby the section to de-trash the HG section. While walking person tripped on a rock in travelway and twisted their ankle. Continued working whole shift and asked to be taken to the doctor because it hurt to put pressure on ankle. Ankle was confirmed broken at doctor.