Employee was pulling up the hoist ladder for shovel 112. While pulling the ladder into the raised position, he placed his right thumb between the top of the ladder and the ladder stop smashing his thumb. He was taken to a medical facility and received stitches. X-rays also indicated a broken bone in the tip of the thumb.