Update expected file

model-checking · Sep 5, 2024 · 14bfedb · 14bfedb
1 parent 143cfa0
commit 14bfedb
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/tests/ui/derive-arbitrary/union/expected b/tests/ui/derive-arbitrary/union/expected
@@ -3,10 +3,7 @@ error: Cannot derive `Arbitrary` for `Wrapper` union
 |\
 | #[derive(kani::Arbitrary)]\
 | ^^^^^^^^^^^^^^^\
-|\
+|
 note: `#[derive(Arbitrary)]` cannot be used for unions such as `Wrapper`
 
-|\
-| union Wrapper {\
-| ^^^^^^^\
 = note: this error originates in the derive macro `kani::Arbitrary`