Fix dash size

Co-authored-by: Andrei Văcaru <[email protected]>
runtimeverification · Jan 23, 2025 · 7827f08 · 7827f08
1 parent 3c4b326
commit 7827f08
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
@@ -391,7 +391,7 @@ Accounts
 ```k
     syntax Account ::= ".Account" | Int
     syntax AccountNotNil = Int
- // -----------------------------------
+ // --------------------------
 
     syntax AccountCode ::= Bytes
  // ----------------------------