diff options
| author | Ralf Jung <post@ralfj.de> | 2023-03-22 17:23:23 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-03-22 17:23:23 +0100 |
| commit | 4f8534f446a6c55d5d53e72e4940ad35e9e0d50e (patch) | |
| tree | 38063e986075d8ffe3e125a6405cb2b56960a689 | |
| parent | 833bacf8508cc62acaddb723465b398e81a8b7cd (diff) | |
| download | rust-4f8534f446a6c55d5d53e72e4940ad35e9e0d50e.tar.gz rust-4f8534f446a6c55d5d53e72e4940ad35e9e0d50e.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/bin/miri.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs index c9c11fde542..26a7ead2407 100644 --- a/src/tools/miri/src/bin/miri.rs +++ b/src/tools/miri/src/bin/miri.rs @@ -28,8 +28,8 @@ use rustc_middle::{ middle::exported_symbols::{ ExportedSymbol, SymbolExportInfo, SymbolExportKind, SymbolExportLevel, }, - ty::{query::ExternProviders, TyCtxt}, query::LocalCrate, + ty::{query::ExternProviders, TyCtxt}, }; use rustc_session::config::OptLevel; |