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

fmt

Browse Source
This commit is contained in:
The Miri Conjob Bot 2023-09-24 05:14:40 +00:00
parent 8ae7c743bb
commit cf766029b6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/src/bin/miri.rs
View File

@ -28,9 +28,9 @@ use rustc_middle::{
middle::exported_symbols::{ middle::exported_symbols::{
ExportedSymbol, SymbolExportInfo, SymbolExportKind, SymbolExportLevel, ExportedSymbol, SymbolExportInfo, SymbolExportKind, SymbolExportLevel,
}, },
query::{LocalCrate}, query::LocalCrate,
util::Providers,
ty::TyCtxt, ty::TyCtxt,
util::Providers,
}; };
use rustc_session::config::{CrateType, ErrorOutputType, OptLevel}; use rustc_session::config::{CrateType, ErrorOutputType, OptLevel};
use rustc_session::search_paths::PathKind; use rustc_session::search_paths::PathKind;