From 6d07ba892ec7792bf11b2aa46d51f0d4fb846b25 Mon Sep 17 00:00:00 2001 From: Stevengre Date: Tue, 11 Feb 2025 03:20:58 +0000 Subject: [PATCH] keep edsl unchanged --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/edsl.md | 2 -- 1 file changed, 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 index ce631b3183..fca29562ba 100644 --- 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