Update Changelog.md

math-comp · Aug 8, 2020 · c2af200 · c2af200
1 parent 94b0e49
commit c2af200
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -4,7 +4,7 @@
 
 - HB now supports parameters (experimental).
 - Port to Coq-Elpi 1.5.
-- NBetter error message in case classes are not defined in the right order.
+- Better error message in case classes are not defined in the right order.
 - Structure operations are not reexported by substructures.
 - Spurious trivial `TYPE` structure removed from demo1.