evm-semantics/evm.md: rewrite #transferFunds rule to be linear#2862

automergerpr-permission-manager[bot] merged 1 commit into

masterruntimeverification/evm-semantics:masterfrom

remove-nonlinear-ruleruntimeverification/evm-semantics:remove-nonlinear-ruleCopy head branch name to clipboard