Update vm/src/vm/runners/builtin_runner/ec_op.rs

Co-authored-by: Mario Rugiero <[email protected]>
lambdaclass · Jan 5, 2024 · 0a47ca2 · 0a47ca2
1 parent fe350e8
commit 0a47ca2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vm/src/vm/runners/builtin_runner/ec_op.rs b/vm/src/vm/runners/builtin_runner/ec_op.rs
@@ -65,7 +65,7 @@ impl EcOpBuiltinRunner {
             .map_err(|_| RunnerError::PointNotOnCurve(Box::new(partial_sum)))?;
         let mut doubled_point_b = ProjectivePoint::from_affine(doubled_point.0, doubled_point.1)
             .map_err(|_| RunnerError::PointNotOnCurve(Box::new(doubled_point)))?;
-        for i in 0..(Into::<u64>::into(height)).min(slope.bits()) {
+        for i in 0..(height as u64).min(slope.bits()) {
             if partial_sum_b.x() * doubled_point_b.z() == partial_sum_b.z() * doubled_point_b.x() {
                 return Err(RunnerError::EcOpSameXCoordinate(
                     Self::format_ec_op_error(partial_sum_b, slope, doubled_point_b)