mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove some unused extern crate

Browse Source
This commit is contained in:
Oliver Schneider 2017-08-28 14:08:31 +02:00
parent 1fce886ac3
commit 7355a1ea28
No known key found for this signature in database
GPG Key ID: A69F8D225B3AD7D9
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
miri/lib.rs
View File

@ -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};