From b034fd497cb7ba20aba118c1c9d0ae64937cc977 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 7 Apr 2022 23:35:45 +0200
Subject: [PATCH] Trailing newline.

---
 tests/siprop.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/siprop.v b/tests/siprop.v
index da5fc4be4..fc72d0ccc 100644
--- a/tests/siprop.v
+++ b/tests/siprop.v
@@ -2,4 +2,4 @@ From iris.si_logic Require Import bi.
 
 (** Make sure that [siProp]s are parsed in [bi_scope]. *)
 Definition test : siProp := â–· True.
-Definition testI : siPropI := â–· True.
\ No newline at end of file
+Definition testI : siPropI := â–· True.
-- 
GitLab