NEWS
changeset 61228 e602ad539155
parent 61226 af7bed1360f3
child 61270 28eb608b9b59
--- a/NEWS	Tue Sep 22 12:10:25 2015 +0200
+++ b/NEWS	Tue Sep 22 16:05:19 2015 +0200
@@ -185,7 +185,7 @@
 
 * Abbreviations in type classes now carry proper sort constraint.
 Rare INCOMPATIBILITY in situations where the previous misbehaviour
-has been exploited previously.
+has been exploited.
 
 * Refinement of user-space type system in type classes: pseudo-local
 operations behave more similar to abbreviations.  Potential