fix

math-comp · Jul 2, 2022 · 002a276 · 002a276
1 parent f304f86
commit 002a276
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -86,8 +86,6 @@
 - in `lebesgue_integral.v`:
   + definitions `integral` and `integrable` now take a function instead of a measure
   + remove one space in notation `\d_`
-- in `measure.v`:
-  + definition `measure_restr` made canonical
 
 ### Renamed