Edit status before merge

model-checking · Jun 27, 2023 · 1524e53 · 1524e53
1 parent b8e61ee
commit 1524e53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rfc/src/rfcs/0007-global-conditions.md b/rfc/src/rfcs/0007-global-conditions.md
@@ -1,7 +1,7 @@
 - **Feature Name:** Global Conditions (`global-conditions`)
 - **Feature Request Issue:** <https://github.com/model-checking/kani/issues/2525>
 - **RFC PR:** <https://github.com/model-checking/kani/pull/2516>
-- **Status:** *Under Review*
+- **Status:** *Unstable*
 - **Version:** 0
 - **Proof-of-concept:** <https://github.com/model-checking/kani/pull/2532>