From 7355a1ea28a080e3d48287b208b9560bdf06aa0f Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Mon, 28 Aug 2017 14:08:31 +0200
Subject: [PATCH] Remove some unused `extern crate`

---
 miri/lib.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/miri/lib.rs b/miri/lib.rs
index 159f8035f2c..852a4cbe2aa 100644
--- a/miri/lib.rs
+++ b/miri/lib.rs
@@ -6,11 +6,8 @@
 // From rustc.
 #[macro_use]
 extern crate log;
-extern crate log_settings;
 #[macro_use]
 extern crate rustc;
-extern crate rustc_const_math;
-extern crate rustc_data_structures;
 extern crate syntax;
 
 use rustc::ty::{self, TyCtxt};