Skip to content

Commit 0f3052b

Browse files
committed
chore: typo
1 parent 2b222e9 commit 0f3052b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

extensions/memcpy/circuit/src/iteration.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -330,7 +330,7 @@ impl<AB: InteractionBuilder> Air<AB> for MemcpyIterAir {
330330
.eval(builder, is_valid_read.clone());
331331
eprintln!(
332332
"local.source: {:?}, data: {:?}, local.source - AB::Expr::from_canonical_usize(16 - idx * 4): {:?}",
333-
local.source
333+
local.source * AB::Expr::from_canonical_u32(1),
334334
data.clone().map(|x| x * (AB::Expr::from_canonical_u32(1))),
335335
local.source - AB::Expr::from_canonical_usize(16 - idx * 4) * AB::Expr::from_canonical_u32(1)
336336
);

0 commit comments

Comments
 (0)