12.10.2016 18:18, Thomas Huth wrote:
The condition  '!A || (A && B)' is equivalent to '!A || B'.

Applied to -trivial, thanks!

/mjt

Reply via email to