A similar thing happened with an Ethereum smart contract that was exploited several years ago. The "code is law" principle didn't apply there either, since the

A similar thing happened with an Ethereum smart contract that was exploited several years ago. The "code is law" principle didn't apply there either, since the developers forked the Ethereum block chain and reversed the offending smart contract transactions. The original Ethereum chain still exists today (known as Ethereum Classic) but it's not worth nearly as much as the forked Eth chain is.