Newline at EOF

mit-plv · Oct 27, 2023 · fe162e0 · fe162e0
1 parent f157471
commit fe162e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.
+End ExtendedCoordinates.