[m-users.] lexer library gone for 20.06.01 ?

[Julien Fischer]

On Sun, 13 Mar 2022, Zoltan Somogyi wrote:

>
> 2022-03-13 19:29 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> I don't know anything about mmc-doc or how it works, but from Mercury
>> 22.01 onwards the lexer module has been renamed to mercury_lexer.
>
> Actually, it has been renamed to mercury_term_lexer.

Oops!  Yes, listen to Zoltan, not me!

Julien.