From e6147ae67eaad7ba2de11ae8e4a57c5cc022dd29 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 12 Dec 2018 17:30:20 +0100
Subject: [PATCH] *oops*

---
 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 71cd46314b5a..6d2dc1dd2f1a 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 {
-        show_error!("Must be called with either `miri` or `rustc` as first argument.")
+        show_error(format!("Must be called with either `miri` or `rustc` as first argument."))
     }
 }