  Let X be a closed subset of a locally compact second countable group G whose
family of translates has finite VC-dimension. We show that the topological
border of X has Haar measure 0. Under an extra technical hypothesis, this also
holds if X is constructible. We deduce from this generic compact domination for
definably amenable NIP groups.
