From a98c56d1544ba5cff3bec5880cc4c46dd735c09d Mon Sep 17 00:00:00 2001
From: Niels <nmvdw@ip-145-116-140-214.wlan-int.ru.nl>
Date: Tue, 6 Jun 2017 11:15:01 +0200
Subject: [PATCH] changes

---
 FiniteSets/properties.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FiniteSets/properties.v b/FiniteSets/properties.v
index 8e8e38b..f78706f 100644
--- a/FiniteSets/properties.v
+++ b/FiniteSets/properties.v
@@ -637,4 +637,4 @@ Proof.
         apply H2.
 Defined.
 
-End properties. 
+End properties.
\ No newline at end of file