From 8f7e49230552cc1e7d160f14023363d77e8be2bd Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-no-reply-9879165716479413131@oli-obk.de>
Date: Sat, 28 Jan 2017 15:27:20 +0100
Subject: [PATCH] drive-by rust update

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

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 56c2e433d067..231ceddc4699 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -7,7 +7,7 @@ extern crate rustc_driver;
 extern crate env_logger;
 extern crate log_settings;
 extern crate syntax;
-#[macro_use] extern crate log;
+extern crate log;
 
 use rustc::session::Session;
 use rustc_driver::{Compilation, CompilerCalls};