Skip to content

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
karthikbhargavan committed Jan 23, 2025
1 parent 2851b58 commit 10fc52b
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions engine/names/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -225,14 +225,14 @@ mod hax {
fn div() {}
fn mul() {}
fn rem() {}

fn not() {}
fn bitxor() {}
fn bitor() {}
fn bitand() {}
fn bitxor() {}
fn bitor() {}
fn bitand() {}
fn shl() {}
fn shr() {}

fn eq() {}
fn ne() {}
fn le() {}
Expand Down

0 comments on commit 10fc52b

Please sign in to comment.