[m-rev.] [m-dev.] fixing the bug reported on m-users

[Zoltan Somogyi]

2021-11-20 19:25 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
> Also, since the NEWS file now refers to the compiler's usage message
> the user guide need to document the option.

I presume you mean the --halt-at-invalid-interface option. I didn't realise
it was already there, but will add it now. I will also follow your other
suggestions.

> The diff is fine otherwise.

Thank you.

Zoltan.