diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-09-24 05:14:40 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-09-24 05:14:40 +0000 |
| commit | cf766029b6502cedac0be9104fd7589b7abd8de9 (patch) | |
| tree | c10be66ac64476f89919a4c29078d1ef6f40ff34 | |
| parent | 8ae7c743bbc6e6281c5aa892daaaa5439aafc1db (diff) | |
| download | rust-cf766029b6502cedac0be9104fd7589b7abd8de9.tar.gz rust-cf766029b6502cedac0be9104fd7589b7abd8de9.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/bin/miri.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs index d7fb4546fd6..fc6151772a0 100644 --- a/src/tools/miri/src/bin/miri.rs +++ b/src/tools/miri/src/bin/miri.rs @@ -28,9 +28,9 @@ use rustc_middle::{ middle::exported_symbols::{ ExportedSymbol, SymbolExportInfo, SymbolExportKind, SymbolExportLevel, }, - query::{LocalCrate}, - util::Providers, + query::LocalCrate, ty::TyCtxt, + util::Providers, }; use rustc_session::config::{CrateType, ErrorOutputType, OptLevel}; use rustc_session::search_paths::PathKind; |