diff options
| author | Taras Tsugrii <taras.tsugriy@gmail.com> | 2023-08-07 20:00:45 -0500 |
|---|---|---|
| committer | Taras Tsugrii <taras.tsugriy@gmail.com> | 2023-08-08 10:30:18 -0700 |
| commit | bb32b0fa3ca14876a8422fa50ea4e7721d8d3036 (patch) | |
| tree | 629704349f76e473cdfeae5e49f34bf73473d726 | |
| parent | 31e9f7a6ef3ec981d4c9797f90f303e63c31f0b4 (diff) | |
| download | rust-bb32b0fa3ca14876a8422fa50ea4e7721d8d3036.tar.gz rust-bb32b0fa3ca14876a8422fa50ea4e7721d8d3036.zip | |
[nit][typo] Remove "currently" that breaks reading flow.
| -rw-r--r-- | src/tools/miri/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 89d4b29ebb8..4483ae242d5 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -53,7 +53,7 @@ behavior** in your program, and cannot run all programs: positives here, so if your program runs fine in Miri right now that is by no means a guarantee that it is UB-free when these questions get answered. - In particular, Miri does currently not check that references point to valid data. + In particular, Miri does not check that references point to valid data. * If the program relies on unspecified details of how data is laid out, it will still run fine in Miri -- but might break (including causing UB) on different compiler versions or different platforms. |