Skip to content

Commit

Permalink
Clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiasgoergens committed Dec 12, 2024
1 parent 91e1a46 commit 0a11f3a
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions ceno_zkvm/src/gadgets/is_lt.rs
Original file line number Diff line number Diff line change
Expand Up @@ -344,8 +344,8 @@ impl<E: ExtensionField> InnerSignedLtConfig<E> {
let is_rhs_neg = rhs.is_negative(cb)?;

// Convert to field arithmetic.
let lhs_value = lhs.to_field_expr(&is_lhs_neg);
let rhs_value = rhs.to_field_expr(&is_rhs_neg);
let lhs_value = lhs.to_field_expr(is_lhs_neg);
let rhs_value = rhs.to_field_expr(is_rhs_neg);
let config = InnerLtConfig::construct_circuit(
cb,
format!("{name} (lhs < rhs)"),
Expand Down
2 changes: 1 addition & 1 deletion ceno_zkvm/src/instructions/riscv/div.rs
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ use super::{
use crate::{
circuit_builder::CircuitBuilder,
error::ZKVMError,
expression::{Expression, ToExpr},
expression::ToExpr,
gadgets::{IsLtConfig, IsZeroConfig},
instructions::Instruction,
uint::Value,
Expand Down

0 comments on commit 0a11f3a

Please sign in to comment.