Condition.getValueComparedTo: remove incorrect recursive call

GitOrigin-RevId: d7cb08f88167a19755c92c869a19db582d8b4d2a
This commit is contained in:
Tagir Valeev
2020-05-12 05:06:38 +00:00
committed by intellij-monorepo-bot
parent 5fa3538b77
commit b2fd7a0ea9
@@ -382,9 +382,6 @@ public abstract class ContractValue {
if (value == IndependentValue.FALSE) {
return getValueComparedTo(IndependentValue.TRUE, !equal);
}
if (value == IndependentValue.TRUE) {
return getValueComparedTo(IndependentValue.FALSE, !equal);
}
return null;
}