From 6355228d4e6e44db6b16301aeed8aacdd944f07a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 21 Mar 2020 13:13:08 +0100
Subject: [PATCH] remove no longer needed (and sometimes broken) 'extern crate'

---
 src/bin/miri-rustc-tests.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/bin/miri-rustc-tests.rs b/src/bin/miri-rustc-tests.rs
index 509a1592152..ab692e18f90 100644
--- a/src/bin/miri-rustc-tests.rs
+++ b/src/bin/miri-rustc-tests.rs
@@ -1,13 +1,9 @@
 #![feature(rustc_private)]
-extern crate getopts;
 extern crate miri;
 extern crate rustc;
-extern crate rustc_codegen_utils;
 extern crate rustc_driver;
-extern crate rustc_errors;
 extern crate rustc_hir;
 extern crate rustc_interface;
-extern crate rustc_metadata;
 extern crate rustc_span;
 
 use std::io;
-- 
2.44.0