Correction to the article Kim-independence in positive logic

The proof of the Independence Theorem for Kim-independence in positive thick NSOP 1 theories from [DK22] contains a gap.The theorem is still true, and in this corrigendum we give a different proof.Convention 2.1.We establish some basic conventions.(i) We will drop "positive" everywhere, so "formula", "type" and "theory" always mean "positive (existential) formula", "positive (existential) type" and "positive theory" (or "h-inductive theory") respectively.