Skip to content

Commit 411d6bc

Browse files
committed
[nit][typo] Remove "currently" that breaks reading flow.
1 parent a4d627c commit 411d6bc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ behavior** in your program, and cannot run all programs:
5353
positives here, so if your program runs fine in Miri right now that is by no
5454
means a guarantee that it is UB-free when these questions get answered.
5555

56-
In particular, Miri does currently not check that references point to valid data.
56+
In particular, Miri does not check that references point to valid data.
5757
* If the program relies on unspecified details of how data is laid out, it will
5858
still run fine in Miri -- but might break (including causing UB) on different
5959
compiler versions or different platforms.

0 commit comments

Comments
 (0)