Ensure the result is 0 if a == b

argumentcomputer · Feb 17, 2024 · ac8a480 · ac8a480
1 parent 8a6ed04
commit ac8a480
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/emulated/src/field_ops.rs b/crates/emulated/src/field_ops.rs
@@ -435,7 +435,7 @@ where
         if a.is_constant() && b.is_constant() {
             let a_int = BigInt::from(a);
             let b_int = BigInt::from(b);
-            let res_int = if a_int > b_int {
+            let res_int = if a_int >= b_int {
                 (a_int - b_int).rem(P::modulus())
             } else {
                 P::modulus() - (b_int - a_int).rem(P::modulus())