When they reached the end of the string, they knew to dig up.

当他们到达绳子的末端时，他们知道要挖了。