Skip to content

Commit e1e845e

Browse files
committed
Auto merge of #2897 - RalfJung:rustup, r=RalfJung
Rustup
2 parents 1a80d1e + 9d6abdc commit e1e845e

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
69fef92ab2f287f072b66fb7b4f62c8bb4acba43
1+
3ea9ad532474343426e564b997891e459cda89a6

src/bin/miri.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,8 +28,8 @@ use rustc_middle::{
2828
middle::exported_symbols::{
2929
ExportedSymbol, SymbolExportInfo, SymbolExportKind, SymbolExportLevel,
3030
},
31-
query::LocalCrate,
32-
ty::{query::ExternProviders, TyCtxt},
31+
query::{ExternProviders, LocalCrate},
32+
ty::TyCtxt,
3333
};
3434
use rustc_session::config::OptLevel;
3535

0 commit comments

Comments
 (0)