Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
karthikbhargavan committed Nov 27, 2024
1 parent 37f3fd5 commit 68779b4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/challenges/0014-intrinsics-simd.md
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ pub unsafe fn _mm_blend_epi16(
```

This contract is then used to automatically generate randomized tests
for the intrinsic, which can be put on CI.
for the intrinsic, which can be put in CI.

We can also use the [hax](https://github.com/hacspec/hax) toolchain to
compile this contract to F* where it can act as an interface to a model
Expand Down

0 comments on commit 68779b4

Please sign in to comment.