diff options
| -rw-r--r-- | miri/lib.rs | 3 |
1 files changed, 0 insertions, 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}; |