From 789c8a006ba02ddad05513f47226406735ed33a5 Mon Sep 17 00:00:00 2001 From: Jonah Williams Date: Sun, 6 Dec 2020 17:54:59 -0800 Subject: [PATCH] Fix README.md typo "extend" -> "extent" Just something I noticed while reading --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3a8524ec01d..7c6b09968f4 100644 --- a/README.md +++ b/README.md @@ -52,7 +52,7 @@ in your program, and cannot run all programs: * Program execution is non-deterministic when it depends, for example, on where exactly in memory allocations end up, or on the exact interleaving of concurrent threads. Miri tests one of many possible executions of your - program. You can alleviate this to some extend by running Miri with different + program. You can alleviate this to some extent by running Miri with different values for `-Zmiri-seed`, but that will still by far not explore all possible executions. * Miri runs the program as a platform-independent interpreter, so the program -- 2.44.0