diff -r fd6308b4df72 -r 01aa36932739 NEWS
--- a/NEWS	Thu May 27 15:28:23 2010 +0200
+++ b/NEWS	Thu May 27 17:41:27 2010 +0200
@@ -502,6 +502,7 @@
   OuterParse    ~>  Parse
   OuterSyntax   ~>  Outer_Syntax
   SpecParse     ~>  Parse_Spec
+  TypeInfer     ~>  Type_Infer
 
 Note that "open Legacy" simplifies porting of sources, but forgetting
 to remove it again will complicate porting again in the future.