diff --git a/src/Curves/Edwards/XYZT/Precomputed.v b/src/Curves/Edwards/XYZT/Precomputed.v
index fbec2081a8..1f9dd3431a 100644
--- a/src/Curves/Edwards/XYZT/Precomputed.v
+++ b/src/Curves/Edwards/XYZT/Precomputed.v
@@ -78,4 +78,4 @@ Section ExtendedCoordinates.
     Qed.
 
   End TwistMinusOne.
-End ExtendedCoordinates.
\ No newline at end of file
+End ExtendedCoordinates.