From 1d09db44f248f2424619f3233c557d7f016581c1 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Tue, 26 Mar 2024 13:58:53 -0500
Subject: [PATCH] add import of additional list lemmas

---
 kevm-pyk/src/kevm_pyk/kproj/evm-semantics/data.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/data.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/data.md
index 53dc429191..8f71886563 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/data.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/data.md
@@ -14,6 +14,7 @@ module EVM-DATA
     imports STRING-BUFFER
     imports MAP-SYMBOLIC
     imports SET-SYMBOLIC
+    imports LIST-SYMBOLIC
     imports COLLECTIONS
     imports JSON-EXT
 ```