# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1736524100 0
# Node ID 1b817e64af3cf3d4f423891e49b8dc2f2ed5bba9
# Parent  5b1f86d8505cd6f3a35c78ab0576203f164f13c0
fixed a typo

diff -r 5b1f86d8505c -r 1b817e64af3c NEWS
--- 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_", _) $