modelize_property: Remove an unreachable case
authorJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Wed, 14 Jun 2017 03:48:23 +0000 (23:48 -0400)
committerJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Wed, 14 Jun 2017 21:15:38 +0000 (17:15 -0400)
commitd3416cff87245bf3c3e05252eff3571cb321f4a4
tree404d051bc81557da8530c740446aa0a8e5123cf7
parent8650472294088b9a7944a46e4bd3933b4c8c7477
modelize_property: Remove an unreachable case

Exploit the De Morgan’s law.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
src/modelize/modelize_property.nit