From 24203602e11e50994f45f2f30efcdfd05e96a7e1 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Thu, 15 Dec 2016 09:56:40 +0100
Subject: [PATCH] remove unused import

---
 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 d46572606a7f..9e1d6235d4c1 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -10,7 +10,7 @@ extern crate syntax;
 #[macro_use] extern crate log;
 
 use rustc::session::Session;
-use rustc_driver::{CompilerCalls, Compilation};
+use rustc_driver::CompilerCalls;
 use rustc_driver::driver::{CompileState, CompileController};
 use syntax::ast::{MetaItemKind, NestedMetaItemKind};