Merge branch 'main' into kk-bump-kani-0.30.0

model-checking · Jun 15, 2023 · 1ad4bfb · 1ad4bfb
2 parents 3749865 + 5c5eec2
commit 1ad4bfb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/cargo-ui/unstable-attr/invalid/expected b/tests/cargo-ui/unstable-attr/invalid/expected
@@ -1,4 +1,4 @@
-error: failed to parse `#[kani::unstable]`: missing `feature` field\
+error: failed to parse `#[kani::unstable]`:
 src/lib.rs\
 |\
 | #[kani::unstable(\