> On 3 Mar 2021, at 18:37, maranget <luc.maranget@xxxxxxxx> wrote: > > I have made a PR to herd7 that performs the change. The commit message states the new definition. For those who are interested <https://github.com/herd/herdtools7/pull/183> —Luc
> On 3 Mar 2021, at 18:37, maranget <luc.maranget@xxxxxxxx> wrote: > > I have made a PR to herd7 that performs the change. The commit message states the new definition. For those who are interested <https://github.com/herd/herdtools7/pull/183> —Luc