We prove a conjectural formula for the Brumer–Stark units. Dasgupta and 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.