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.