Update pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/int.md

Co-authored-by: Stephen Skeirik <[email protected]>
Pi-Squared-Inc · Jan 27, 2025 · f7ae4cc · f7ae4cc
1 parent c036994
commit f7ae4cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/int.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/int.md
@@ -24,7 +24,7 @@ module BINARY-PARSER-INT  [private]
   rule bit8IsSet(I:Int) => I &Int 128 =/=Int 0
 
   syntax Int ::= clearBit8(Int) [function, total]
-  rule clearBit8(I:Int) => I -Int 128 requires 128 <=Int 128
+  rule clearBit8(I:Int) => I -Int 128 requires 128 <=Int I
   rule clearBit8(I:Int) => I requires I <Int 128
 
   syntax IntsResult ::= parseLeb128IntChunks(BytesWithIndex) [function, total]