In his 1936 paper on analytic measure theory, he used the Haar theorem in the solution of Hilbert's fifth problem in the case of compact groups.
What did von Neumann use the Haar theorem to solve in a 1936 paper?
Hilbert's fifth problem in the case of compact groups