From b0c4b5a2e8f828b90a779c13da4dffd8a74c319e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andrei=20V=C4=83caru?= <16517508+anvacaru@users.noreply.github.com> Date: Mon, 13 Jan 2025 17:17:18 +0200 Subject: [PATCH] Update kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md Co-authored-by: Palina --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md index ef436206a1..14d033e02c 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md @@ -392,7 +392,7 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule Ghastransient << CANCUN >> => true rule Ghasmcopy << CANCUN >> => true rule Ghasbeaconroot << CANCUN >> => true - rule Ghaseip6780 << CANCUN >> => true + rule Ghaseip6780 << CANCUN >> => true rule SCHEDFLAG << CANCUN >> => SCHEDFLAG << SHANGHAI >> requires notBool ( SCHEDFLAG ==K Ghastransient orBool SCHEDFLAG ==K Ghasmcopy