Update CHANGELOG_UNRELEASED.md

Co-authored-by: affeldt-aist <[email protected]>
math-comp · Oct 27, 2024 · b50506b · b50506b
1 parent 8800112
commit b50506b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -28,7 +28,7 @@
 
 - in file `normedtype.v`,
      changed `completely_regular_space` to depend on uniform separators
-     which removes the dependency on R.  The old formulation can be
+     which removes the dependency on `R`.  The old formulation can be
      recovered easily with uniform_separatorP.
 
 ### Renamed