We consider the simple random walk on the (unique) infinite cluster of super-critical percolation in the Euclidean lattice of dimension 2 and higher. We prove that, for almost every percolation configuration, the path distribution of the walk converges weakly to that of non-degenerate Brownian motion.