Fix dash size

Co-authored-by: Andrei Văcaru <[email protected]>
runtimeverification · Jan 23, 2025 · 5f51895 · 5f51895
1 parent 31d7a6d
commit 5f51895
Showing 1 changed file with 1 addition and 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
@@ -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]