diff --git a/src/bin/miri.rs b/src/bin/miri.rs index e11ab5a86099..f5b0c6fbf679 100644 --- a/src/bin/miri.rs +++ b/src/bin/miri.rs @@ -4,7 +4,6 @@ extern crate miri; extern crate rustc; extern crate rustc_driver; -extern crate rustc_plugin; extern crate env_logger; extern crate log_settings; extern crate syntax;