Skip to content

Commit 12114c5

Browse files
committed
fix dead link in README
1 parent 81046fa commit 12114c5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -156,7 +156,7 @@ Try deleting `~/.cache/miri`.
156156
This means the sysroot you are using was not compiled with Miri in mind. This
157157
should never happen when you use `cargo miri` because that takes care of setting
158158
up the sysroot. If you are using `miri` (the Miri driver) directly, see
159-
[below][testing-miri] for how to set up the sysroot.
159+
[CONTRIBUTING.md](CONTRIBUTING.md) for how to use `./miri`.
160160

161161

162162
## Miri `-Z` flags and environment variables

0 commit comments

Comments
 (0)