# HG changeset patch
# User ballarin
# Date 1117206623 -7200
# Node ID dab13c4685ba50164dec4d26341702fe0cbd1a10
# Parent  323838df22fd221f223dc1cad6d01b6895117cc8
Typo.

diff -r 323838df22fd -r dab13c4685ba NEWS
--- a/NEWS	Fri May 27 16:33:33 2005 +0200
+++ b/NEWS	Fri May 27 17:10:23 2005 +0200
@@ -78,7 +78,7 @@
 
 * Pure: print_tac now outputs the goal through the trace channel.
 
-* Pure: reference Namespace.unique_names included.  If true the
+* Pure: reference NameSpace.unique_names included.  If true the
   (shortest) namespace-prefix is printed to disambiguate conflicts (as
   yet). If false the first entry wins (as during parsing). Default
   value is true.