diff -r 1fc263b5aac1 -r 7492cd35782e NEWS --- a/NEWS Fri Sep 10 23:03:47 2021 +0200 +++ b/NEWS Fri Sep 10 23:18:51 2021 +0200 @@ -253,7 +253,7 @@ For example: - type 'a Symtab.table etc.: build - - Type 'a Names.table etc.: build + - type 'a Names.table etc.: build - type 'a list: build and build_rev - type Buffer.T: build and build_content