From fedca29e6979b77db1d4712dc62be041cf7f2d36 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 8 Apr 2020 15:56:59 +0200
Subject: [PATCH] tweak wording

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 5862d2d402ae..a143190d5bdb 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -45,7 +45,7 @@ supports.
 
 ### Testing the Miri driver
 
-The Miri driver in the `src/bin/miri.rs` binary is the "heart" of Miri: it is
+The Miri driver compiled from `src/bin/miri.rs` is the "heart" of Miri: it is
 basically a version of `rustc` that, instead of compiling your code, runs it.
 It accepts all the same flags as `rustc` (though the ones only affecting code
 generation and linking obviously will have no effect) [and more][miri-flags].