From b6a4556cb9d6458bb97c8e8ff91e71b7c13d094b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 12 Dec 2018 17:05:23 +0100
Subject: [PATCH] use show_error to terminate

---
 src/bin/cargo-miri.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index f428062b3fc4..71cd46314b5a 100644
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -366,7 +366,7 @@ fn main() {
             Err(ref e) => panic!("error during rustc call: {:?}", e),
         }
     } else {
-        eprintln!("Unexpected call: Must be called with either `miri` or `rustc` as first argument.")
+        show_error!("Must be called with either `miri` or `rustc` as first argument.")
     }
 }