[m-rev.] diff: fix compilation failure

[Zoltan Somogyi]

On Mon, 3 Jan 2022 16:06:30 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> Zoltan, this was caused by commit #2530d0d; possibly only part of a 
> change was committed / pushed?

I did the commit in the wrong logical desktop, and hence
the wrong workspace. I discovered it as I was finishing the diff
for the real diff, which I committed just before seeing this email :-(

Zoltan.