Add separator

model-checking · Jun 27, 2023 · b8e61ee · b8e61ee
1 parent 52d6e8d
commit b8e61ee
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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.