From: Ralf Jung <post@ralfj.de>
Date: Sat, 25 Apr 2020 09:16:03 +0000 (+0200)
Subject: make sure we do not discard information on the Ok exit side
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=b128879529cc3a2262965b183780166fbac0d0ef;p=rust.git

make sure we do not discard information on the Ok exit side
---

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 53a13bf85a5..4e20e3a12da 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -262,7 +262,7 @@ fn main() {
     })
     .and_then(|result| result);
     let exit_code = match result {
-        Ok(_) => rustc_driver::EXIT_SUCCESS,
+        Ok(()) => rustc_driver::EXIT_SUCCESS,
         Err(_) => rustc_driver::EXIT_FAILURE,
     };
     std::process::exit(exit_code);