Update kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md

Co-authored-by: Palina <[email protected]>
runtimeverification · Jan 13, 2025 · b0c4b5a · b0c4b5a
1 parent c34170f
commit b0c4b5a
Showing 1 changed file with 1 addition and 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
@@ -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