Skip to content

Commit

Permalink
chore: remove @[simp] from BitVec.ofFin_sub and sub_ofFin
Browse files Browse the repository at this point in the history
  • Loading branch information
@kim-em
kim-em committed Nov 6, 2024
1 parent c51d77d commit 11743c3
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 11743c3

Please sign in to comment.