  We prove a conjectural formula for the Brumer--Stark units. Dasgupta--Kakde
have shown the formula is correct up to a bounded root of unity. In this paper
we resolve the ambiguity in their result. We also remove an assumption from
Dasgupta--Kakde's result on the formula.
