# HG changeset patch
# User haftmann
# Date 1738045050 -3600
# Node ID 7d608575b20531b2e5e59a1e1b1de88b609b00c5
# Parent  d09524fdd40cfe5681e224c9c48c5415f8610f94
typo

diff -r d09524fdd40c -r 7d608575b205 NEWS
--- a/NEWS	Mon Jan 27 22:27:18 2025 +0100
+++ b/NEWS	Tue Jan 28 07:17:30 2025 +0100
@@ -137,7 +137,7 @@
     (or replaced by Main).
 
   - Equivalence of overloaded constants has become more liberal: sorts
-    of type variables are ignore, schematic type variables only need to
+    of type variables are ignored, schematic type variables only need to
     match (in both directions) instead of being literally equal.
 
   - Command syntax now requires a separator: "adhoc_overloading c \<rightleftharpoons> vs".