# HG changeset patch
# User haftmann
# Date 1268314689 -3600
# Node ID f7bbee848403d0ef278d450b723203af651b2364
# Parent  3fc79186a2f65a91d18b24ba4088ddb5366de22b
fixed typo

diff -r 3fc79186a2f6 -r f7bbee848403 NEWS
--- a/NEWS	Wed Mar 10 16:53:43 2010 +0100
+++ b/NEWS	Thu Mar 11 14:38:09 2010 +0100
@@ -102,7 +102,7 @@
 
 INCOMPATIBILITY.
 
-* Class division ring also requires proof of fact divide_inverse.  However instantiation
+* Class division_ring also requires proof of fact divide_inverse.  However instantiation
 of parameter divide has also been required previously.  INCOMPATIBILITY.
 
 * More consistent naming of type classes involving orderings (and lattices):