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