fixed typo
authorhaftmann
Fri, 01 Jun 2007 10:44:24 +0200
changeset 23180 80b9caed2ba8
parent 23179 8db2b22257bd
child 23181 f52b555f8141
fixed typo
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