Skip to content

Commit

Permalink
Update doc/src/challenges/0002-intrinsics-memory.md
Browse files Browse the repository at this point in the history
Co-authored-by: Michael Tautschnig <[email protected]>
  • Loading branch information
celinval and tautschnig authored Dec 6, 2024
1 parent 7415c26 commit e7f1e66
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/src/challenges/0002-intrinsics-memory.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,8 @@ Annotate Rust core::intrinsics functions that manipulate raw pointers with their

Intrinsic functions to be annotated with safety contracts

| Function | Location |
|-------------------------------------|---------|
| Function | Location |
|-------------------------------------|-----------------|
| typed_swap | core::intrisics |
| vtable_size | core::intrisics |
| vtable_align | core::intrisics |
Expand Down

0 comments on commit e7f1e66

Please sign in to comment.