From 9f5e1e42a2384c86b7722be1fcae51feedfeada0 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Tue, 26 Mar 2024 14:50:39 -0500
Subject: [PATCH] fix compile error

---
 kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md | 2 +-
 1 file changed, 1 insertion(+), 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
index bde0f97a3d..6b69d78538 100644
--- 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