  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.
