Add account to selfDestruct

See #517
Consensys · Jan 31, 2023 · d8acc98 · d8acc98
1 parent 3ca85a2
commit d8acc98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dafny/bytecode.dfy b/src/dafny/bytecode.dfy
@@ -1896,7 +1896,7 @@ module Bytecode {
                 // Determine account to send remaining any remaining funds.
                 var r := ((st.Peek(0) as nat) % TWO_160) as u160;
                 // Register contract deletion in substate!
-                var ss := st.evm.substate.AccountAccessed(r);
+                var ss := st.evm.substate.AccountAccessed(r).AccountDestructed(address);
                 // Apply refund
                 var w := if address != r && (!st.Exists(r) || st.evm.world.CanDeposit(r,balance))
                     // Refund balance to r