From 5f518951bb0785be4b1daf0be844791619ebb2b2 Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Thu, 23 Jan 2025 11:13:32 -0300 Subject: [PATCH] Fix dash size MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> --- 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 e5bac2f2a2..4da96f791a 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 @@ -354,7 +354,7 @@ Bytes helper functions syntax Account ::= #asAccount ( Bytes ) [symbol(#asAccount), function] syntax AccountNotNil ::= #asAccountNotNil ( Bytes ) [symbol(#asAccountNotNil), function] - // ---------------------------------------------------------------------- + // ---------------------------------------------------------------------------------------- rule #asAccount(BS) => .Account requires lengthBytes(BS) ==Int 0 rule #asAccount(BS) => #asWord(BS) [owise]