An argument could be made either way, and there's probably no clearly right and wrong answer here.
That said, if he can still progress in the DL every workout without any fatigue causing problems in his next squat workout, I'd stick with that for a bit longer.