Chunk not loading

My brother and i wwere playing a minecraft world and we were mining. He came across a huge empty void while mining and i thought it hadnt loaded in so he went in and died in the void losing all his stuff and left with nothing.