From f7ae4cc8d114d738bb699a3664c01fb47b258b01 Mon Sep 17 00:00:00 2001 From: Virgil <25692529+virgil-serbanuta@users.noreply.github.com> Date: Mon, 27 Jan 2025 14:16:45 +0200 Subject: [PATCH] Update pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/int.md Co-authored-by: Stephen Skeirik --- pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parsing/int.md | 2 +- 1 file changed, 1 insertion(+), 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 index 022586b1e..43a13a628 100644 --- 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