Remove unnecessary dead_code attributes.#4454

afck merged 1 commit intolinera-io:mainlinera-io/linera-protocol:mainfrom

afck:less-dead-codeafck/linera-protocol:less-dead-codeCopy head branch name to clipboard