Try format again

model-checking · Jul 8, 2024 · 4092e82 · 4092e82
1 parent 9d6d9e7
commit 4092e82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/expected/uninit/delayed-ub/delayed-ub.rs b/tests/expected/uninit/delayed-ub/delayed-ub.rs
@@ -5,6 +5,6 @@ fn invalid_value() {
  let mut value: u128 = 0;
  let ptr = &mut value as *mut _ as *mut (u8, u32, u64);
  *ptr = (4, 4, 4); // This assignment itself does not cause UB...
- let c: u128 = value; // ...but this reads a padding value! ⚠️
+ let c: u128 = value; // ...but this reads a padding value!
  }
 }