fix compile error

runtimeverification · Mar 28, 2024 · 9f5e1e4 · 9f5e1e4
1 parent f90ec4b
commit 9f5e1e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md
@@ -231,7 +231,7 @@ A cons-list is used for the EVM wordstack.
                   | Int ":" List [macro, symbol(_WS_)]
  // ---------------------------------------------------------
     rule .WordStack => .List
-    rule I:Int : L:List => ListItem(I) L
+    rule I : L => ListItem(I) L
 ```
 
 ```k