# HG changeset patch
# User haftmann
# Date 1180687464 -7200
# Node ID 80b9caed2ba856e0de3bc45bdf0d3669a6b585b7
# Parent  8db2b22257bd9232cfa731f9cb8374d0030841de
fixed typo

diff -r 8db2b22257bd -r 80b9caed2ba8 NEWS
--- a/NEWS	Thu May 31 23:47:38 2007 +0200
+++ b/NEWS	Fri Jun 01 10:44:24 2007 +0200
@@ -544,7 +544,7 @@
     Numeral.number_of ~> Numeral.number_class.number_of
     FixedPoint.Inf ~> FixedPoint.complete_lattice_class.Inf
 
-* Rudimentary class target mechanims involves constant renames:
+* Rudimentary class target mechanism involves constant renames:
 
     Orderings.min ~> Orderings.ord_class.min
     Orderings.max ~> Orderings.ord_class.max