It is argued that the ten dimensional solution that corresponds to the
compactification of E8×E8 heterotic string theory on a half-flat
manifold is the product space-time R1,2×Z7 where Z7 is a
generalized cylinder with G2 riemannian holonomy. Standard embedding on
Z7 then implies an embedding on the half-flat manifold which involves the
torsionful connection rather than the Levi-Civita connection. This leads to the
breakdown of E8×E8 to E6×E8, as in the case of the
standard embedding on Calabi-Yau manifolds, which agrees with the result
derived recently by Gurrieri, Lukas and Micu (arXiv:0709.1932) using a
different approach. Green-Schwarz anomaly cancellation is then implemented via
the torsionful connection on half-flat manifolds.Comment: 5 pages. v2: 6 pages; slightly reworded; version submitted for
publication. v3: uses JHEP3.cls, hence 14 pages now. Essentially same content
as before. Article in title changed in accordance with JHEP editor's
suggestion. Version to appear in JHE