[m-dev.] ROTDs broken since rotd-2023-12-13

[Julien Fischer]

On Fri, 15 Dec 2023, Zoltan Somogyi wrote:

> On 2023-12-15 02:49 +11:00 AEDT, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> Approach two would be easiest to implement, and a comment on
>> the module_info field saying that the pred_ids there may be dangling
>> references, and that this is ok, would make it semantically ok as well.
>> This is my preferred solution. What are yours?
>
> In the absence of an objection, I have commit a fix using approach two.

Sorry, I hadn't got around to looking Mercury emails for today; approach
two is fine by me.

Julien.