The covering lemma for L[U]