Negative Holomorphic curvature and positive canonical bundle

In this note we show that if a projective manifold admits a K"ahler metric with negative holomorphic sectional curvature then the canonical bundle of the manifold is ample. This confirms a conjecture of the second author.