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};