Skip to content

Commit

Permalink
chore: fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench committed Jun 18, 2024
1 parent b461dc9 commit 75bfd13
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions test_programs/execution_success/array_len/src/main.nr
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,9 @@ fn nested_call<N>(b: [Field; N]) -> u32 {
}

fn main(x: Field, len3: [u8; 3], len4: [Field; 4]) {
comptime {
assert_eq([1,2,3].len(), 3);
comptime
{
assert_eq([1, 2, 3].len(), 3);
}
assert(len_plus_1(len3) == 4);
assert(len_plus_1(len4) == 5);
Expand Down

0 comments on commit 75bfd13

Please sign in to comment.