Typo.
authorballarin
Fri May 27 17:10:23 2005 +0200 (2005-05-27)
changeset 16104dab13c4685ba
parent 16103 323838df22fd
child 16105 a44801c499cb
Typo.
NEWS
     1.1 --- a/NEWS	Fri May 27 16:33:33 2005 +0200
     1.2 +++ b/NEWS	Fri May 27 17:10:23 2005 +0200
     1.3 @@ -78,7 +78,7 @@
     1.4  
     1.5  * Pure: print_tac now outputs the goal through the trace channel.
     1.6  
     1.7 -* Pure: reference Namespace.unique_names included.  If true the
     1.8 +* Pure: reference NameSpace.unique_names included.  If true the
     1.9    (shortest) namespace-prefix is printed to disambiguate conflicts (as
    1.10    yet). If false the first entry wins (as during parsing). Default
    1.11    value is true.