# HG changeset patch
# User wenzelm
# Date 1275643846 -7200
# Node ID 90323e435a7f13ed47889a2e131a0916ba426ef0
# Parent  96e2b9a6f074c5ebeaf16e9ba85aefff3920f561
spelling;

diff -r 96e2b9a6f074 -r 90323e435a7f NEWS
--- a/NEWS	Thu Jun 03 23:56:05 2010 +0200
+++ b/NEWS	Fri Jun 04 11:30:46 2010 +0200
@@ -92,7 +92,7 @@
 
 *** Pure ***
 
-* Predicates of locales introduces by classes carry a mandatory
+* Predicates of locales introduced by classes carry a mandatory
 "class" prefix.  INCOMPATIBILITY.
 
 * Command 'code_reflect' allows to incorporate generated ML code into