File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -284,7 +284,7 @@ different Miri binaries, and as such worth documenting:
284284 build (for which some crates need special treatment).
285285* ` MIRI_CALLED_FROM_RUSTDOC ` when set to any value tells ` cargo-miri ` that it is
286286 running as a child process of ` rustdoc ` , which invokes it twice for each doc-test
287- and requires special treatment, most notably a check-only build before validation .
287+ and requires special treatment, most notably a check-only build before interpretation .
288288 This is set by ` cargo-miri ` itself when running as a ` rustdoc ` -wrapper.
289289* ` MIRI_CWD ` when set to any value tells the Miri driver to change to the given
290290 directory after loading all the source files, but before commencing
You can’t perform that action at this time.
0 commit comments