Fix indentetion and dash size

runtimeverification · Jan 23, 2025 · db28fab · db28fab
1 parent d0deb5d
commit db28fab
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
@@ -235,10 +235,10 @@ Unparsing
 ```k
     syntax Bytes ::= #addrBytes ( Account ) [symbol(#addrBytes), function]
                    | #wordBytes ( Int )     [symbol(#wordBytes), function]
- // ----------------------------------------------------------------------------------------
+ // ----------------------------------------------------------------------
     rule #addrBytes(.Account) => .Bytes
-    rule #addrBytes(ACCT)     => #padToWidth(20, #asByteStack(ACCT))   requires #rangeAddress(ACCT)
-    rule #wordBytes(WORD)     => #padToWidth(32, #asByteStack(WORD))   requires #rangeUInt(256, WORD)
+    rule #addrBytes(ACCT)     => #padToWidth(20, #asByteStack(ACCT)) requires #rangeAddress(ACCT)
+    rule #wordBytes(WORD)     => #padToWidth(32, #asByteStack(WORD)) requires #rangeUInt(256, WORD)
 ```
 
 Recursive Length Prefix (RLP)