On Fri, Oct 21, 2022 at 3:10 PM Kyotaro Horiguchi <horikyota(dot)ntt(at)gmail(dot)com>
wrote:
> It seems to me that the comment is true and the condition is a thinko.
Yeah, the two conditions could be both false. How about we update the
comment a bit to emphasize this? Such as
/* At most one of these conditions can be true */
or
/* These conditions can not be both true */
> Please find the attached fix.
+1
Thanks
Richard