The workmen dug a hole, mended the pipe, and then filled the hole in again.

• 工人们挖了个洞, 修补好管道, 然后又把洞填平。