They would need to hard fork it. This would never get community consensus though. Think the miners are going to agree to make their ASICS immediately obsolete? (Or forced to mine another SHA256 coin, like BCH.) The only way this is going to fly is if it is discovered the SHA256d algorithm has a vulnerability or commuting power increases to such an extent that solving it becomes trivial.