From 7dfc4382c1821b5875ec814021de917fb6347c74 Mon Sep 17 00:00:00 2001
From: Tobias Eidelpes <tobias@eidelpes.info>
Date: Thu, 3 Jun 2021 10:42:55 +0200
Subject: [PATCH] Add trailing new line

---
 Project2.fst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Project2.fst b/Project2.fst
index c79797a..28bd3fa 100644
--- a/Project2.fst
+++ b/Project2.fst
@@ -260,3 +260,4 @@ let rec exception_prop te ps =
   match ps with
     | [] -> ()
     | _ :: ps' -> exception_prop te ps'
+