The Arctic Circle Theorem (Jockusch-Propp-Shor) concerns a model of domino tiling with peculiar boundary conditions, exhibiting phase separation,with the emergence of 'limit shapes' and 'arctic curves'. The computation of such objects, and the characterization of their fluctuations, has been performed for several other models (Cohn, Propp, Kenyon, Reshetikhin, Okounkov, and others), with deep implication in algebraic combinatorics and algebraic geometry. However all such models can be viewed as modelsof dimers, i.e. of discrete free fermions. Their most natural generalization to include an interaction is provided by the Domai-Wall Six-Vertex Model. We here derive, for the full phase diagram of the model, the exact analytic expression of the arctic curve, and characterize its fluctuation, thus extending the Arctic Circle Theorem beyond the dimer (free fermion) case.