Merge: modelize_property: Remove an unreachable case
authorJean Privat <jean@pryen.org>
Thu, 15 Jun 2017 19:43:35 +0000 (15:43 -0400)
committerJean Privat <jean@pryen.org>
Thu, 15 Jun 2017 19:43:35 +0000 (15:43 -0400)
Exploit the De Morgan’s law.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2493


Trivial merge