changelog

math-comp · Jul 18, 2024 · ff67d47 · ff67d47
1 parent 768c10d
commit ff67d47
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -81,6 +81,8 @@
 
 - in `ftc.v`:
   + `FTC1` -> `FTC1_lebesgue_pt`
+- in `measure.v`:
+  + `setD_closed` -> `setSD_closed`
 
 ### Generalized