diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-24 05:02:39 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-24 05:02:39 +0000 |
| commit | 9e18b7b0e1b014833ec49a10fc3544d400ca1acc (patch) | |
| tree | d04b24e0cfb124ab2859a14450378bd34daed156 /src | |
| parent | 005dc5cbdc138c5861fddf662dd208eb8ec7969d (diff) | |
| download | rust-9e18b7b0e1b014833ec49a10fc3544d400ca1acc.tar.gz rust-9e18b7b0e1b014833ec49a10fc3544d400ca1acc.zip | |
fmt
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/machine.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index 0b2ce900414..0136de55216 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -1077,7 +1077,8 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> { .target_features .iter() .filter(|&feature| { - feature.kind != TargetFeatureKind::Implied && !ecx.tcx.sess.target_features.contains(&feature.name) + feature.kind != TargetFeatureKind::Implied + && !ecx.tcx.sess.target_features.contains(&feature.name) }) .fold(String::new(), |mut s, feature| { if !s.is_empty() { |