--- a/NEWS Fri Jan 10 15:11:56 2025 +0000
+++ b/NEWS Fri Jan 10 15:48:20 2025 +0000
@@ -41,7 +41,7 @@
Likewise, the printing of ASTs wrt. mixfix syntax has been adapted to
accept "c" or ("_constrain" "c" T).
-* Parsing now supports type constrains for logical constants that carry
+* Parsing now supports type constraints for logical constants that carry
mixfix syntax (as before for constants without notation). Rare
INCOMPATIBILITY for ML translation functions: need to cope with ASTs
like ("_constrain" "c" T) or pre-terms Const ("_type_constraint_", _) $