# HG changeset patch
# User huffman
# Date 1312295818 25200
# Node ID d34f0cd621648cab9dcbe598c8f8e70dd016eec2
# Parent  e828be67dfe75794bddc1cb3320fbff0e6224d00
NEWS: fix typo

diff -r e828be67dfe7 -r d34f0cd62164 NEWS
--- a/NEWS	Tue Aug 02 13:07:00 2011 +0200
+++ b/NEWS	Tue Aug 02 07:36:58 2011 -0700
@@ -155,7 +155,7 @@
 must be loaded explicitly.  INCOMPATIBILITY.
 
 * Well-founded recursion combinator "wfrec" has been moved to
-Library/Wfrec.thy. INCOMPATIBILY.
+Library/Wfrec.thy. INCOMPATIBILITY.
 
 
 *** Document preparation ***