From 1524e53ca3ef5f9cf46d2a265c653843778dd7e7 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Tue, 27 Jun 2023 19:50:52 +0000
Subject: [PATCH] Edit status before merge

---
 rfc/src/rfcs/0007-global-conditions.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rfc/src/rfcs/0007-global-conditions.md b/rfc/src/rfcs/0007-global-conditions.md
index bec6b5746c6f..e50ced63b62e 100644
--- 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>