[PATCH] Add override specifier

[Pavel Sanda]

On Tue, Oct 06, 2020 at 11:04:55PM +0200, Jean-Marc Lasgouttes wrote:
> Le 05/10/2020 ?? 19:27, Richard Kimberly Heck a écrit :
> >>PS: yes, a proper fix will be eventually required, but I do not really
> >>know what we should do.
> >
> >I'm actually not sure why the assignment operator is made unavailable,
> >but attached is a suitable patch, I think.
> 
> It looks reasonable, but I really do not know why we have to do this. I
> hoped there was some nice idiomatic C++11 magic that would get us out of
> this mess. Adding this code feels like going 10 years backwards.

I don't have clang here, but what would happen if we deleted 
void operator=(InsetTableCell const &);
in the first place?

Pavel