Update src/kriscv/kdist/riscv-semantics/sparse-bytes.md

Co-authored-by: Tamás Tóth <[email protected]>
runtimeverification · Feb 14, 2025 · 577a641 · 577a641
1 parent 7118341
commit 577a641
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kriscv/kdist/riscv-semantics/sparse-bytes.md b/src/kriscv/kdist/riscv-semantics/sparse-bytes.md
@@ -56,7 +56,7 @@ We provide helpers to prepend either data or an empty region to an existing `Spa
     | ".Byte"
   
   syntax Int ::= MaybeByte2Int(MaybeByte) [function, total]
-  rule MaybeByte2Int(I) => I
+  rule MaybeByte2Int(I:Int) => I
   rule MaybeByte2Int(.Byte) => 0
 
   syntax MaybeByte ::=