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 53a13bf85a5a6808eef6b7ac64099c2d16c0c3d2..4e20e3a12da7e000e0d5940f14f04d422357516b 100644 (file)
--- 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);