Skip to content

Commit

Permalink
Remove ? operator from use of create_witin
Browse files Browse the repository at this point in the history
  • Loading branch information
Bryan Gillespie committed Oct 30, 2024
1 parent 31ce6c6 commit 9e1457d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ceno_zkvm/src/instructions/riscv/mulh.rs
Original file line number Diff line number Diff line change
Expand Up @@ -299,7 +299,7 @@ impl Signed {
unsigned_val.expr().last().unwrap().clone(),
1,
)?;
let val = cb.create_witin(|| format!("{name} signed_val witin"))?;
let val = cb.create_witin(|| format!("{name} signed_val witin"));
cb.require_equal(
|| "signed_val",
val.expr(),
Expand Down

0 comments on commit 9e1457d

Please sign in to comment.