A central limit theorem for square ice

We prove that the height function associated with the uniform six-vertex model (or equivalently, the uniform homomorphism height function from $\mathbb Z^2$ to $\mathbb Z$) satisfies a central limit theorem, upon some logarithmic rescaling.