Skip to content

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
edg-l committed Jan 29, 2025
1 parent b37c6a0 commit 9349cb1
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/libfuncs/circuit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -705,7 +705,8 @@ fn build_failure_guarantee_verify<'ctx, 'this>(
let mul_mod = entry.arg(1)?;
let rc = increment_builtin_counter_by(context, entry, location, rc, 2 + VALUE_SIZE)?;

let mul_mod = increment_builtin_counter_by(context, entry, location, mul_mod, MOD_BUILTIN_INSTANCE_SIZE)?;
let mul_mod =
increment_builtin_counter_by(context, entry, location, mul_mod, MOD_BUILTIN_INSTANCE_SIZE)?;

let guarantee_type_id = &info.branch_signatures()[0].vars[2].ty;
let guarantee_type = registry.build_type(context, helper, metadata, guarantee_type_id)?;
Expand Down

0 comments on commit 9349cb1

Please sign in to comment.