typo corr _instruction-set.mdx

rebustron · Nov 3, 2024 · ae9a4bc · ae9a4bc
1 parent f47cc17
commit ae9a4bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/docs/protocol-specs/public-vm/gen/_instruction-set.mdx b/docs/docs/protocol-specs/public-vm/gen/_instruction-set.mdx
@@ -504,7 +504,7 @@ Subtraction (a - b)
 	- **bOffset**: memory offset of the operation's right input
 	- **dstOffset**: memory offset specifying where to store operation's result
 - **Expression**: `M[dstOffset] = M[aOffset] - M[bOffset] mod 2^k`
-- **Details**: Wraps on undeflow
+- **Details**: Wraps on underflow
 - **Tag checks**: `T[aOffset] == T[bOffset] == inTag`
 - **Tag updates**: `T[dstOffset] = inTag`
 - **Bit-size**: 128