add import of additional list lemmas

runtimeverification · Mar 26, 2024 · 1d09db4 · 1d09db4
1 parent 6ee5133
commit 1d09db4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
 ```