keep edsl unchanged

runtimeverification · Feb 11, 2025 · 6d07ba8 · 6d07ba8
1 parent 4ab5f43
commit 6d07ba8
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/edsl.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/edsl.md
@@ -12,7 +12,6 @@ requires "hashed-locations.md"
 requires "abi.md"
 requires "gas.md"
 requires "optimizations.md"
-requires "lemmas/lemmas.k"
 
 module EDSL
     imports BUF
@@ -22,7 +21,6 @@ module EDSL
     imports EVM-OPTIMIZATIONS
     imports INFINITE-GAS
     imports BIN-RUNTIME
-    imports LEMMAS
 endmodule
 
 module BIN-RUNTIME