From b8e61ee63fbfe32e1bbed549b8079f2bfdb0b783 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Fri, 23 Jun 2023 15:00:02 +0000
Subject: [PATCH] Add separator

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

diff --git a/rfc/src/rfcs/0007-global-conditions.md b/rfc/src/rfcs/0007-global-conditions.md
index c926b681e57d..bec6b5746c6f 100644
--- a/rfc/src/rfcs/0007-global-conditions.md
+++ b/rfc/src/rfcs/0007-global-conditions.md
@@ -5,6 +5,8 @@
 - **Version:** 0
 - **Proof-of-concept:** <https://github.com/model-checking/kani/pull/2532>
 
+-------------------
+
 ## Summary
 
 A new section in Kani's output to summarize the status of properties that depend on other properties. We use the term *global conditions* to refer to such properties.