From 7d2803ae3fa1d5aed6efa56d9d60776fd62d644c Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Thu, 7 Jul 2016 11:19:55 +0200
Subject: [PATCH] remove unused extern crate

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

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