From f0b825603acbbca4a74df6619c986cc25ecf910f Mon Sep 17 00:00:00 2001 From: Alexander Senier Date: Mon, 18 May 2020 11:19:53 +0200 Subject: [PATCH] Fix typo, use assert in favor of check Ref. #235, #241 --- rflx/model.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/rflx/model.py b/rflx/model.py index cf158e047..3f3b66c40 100644 --- a/rflx/model.py +++ b/rflx/model.py @@ -590,11 +590,11 @@ def get_constraints(aggregate: Aggregate, field: Variable) -> Sequence[Expr]: aggregate_constraints: List[Expr] = [] for r in expr.findall(lambda x: isinstance(x, (Equal, NotEqual))): - if isinstance(r, (Equal, NotEqual)): - if isinstance(r.left, Aggregate) and isinstance(r.right, Variable): - aggregate_constraints.extend(get_constraints(r.left, r.right)) - if isinstance(r.left, Variable) and isinstance(r.right, Aggregate): - aggregate_constraints.extend(get_constraints(r.right, r.left)) + assert isinstance(r, (Equal, NotEqual)) + if isinstance(r.left, Aggregate) and isinstance(r.right, Variable): + aggregate_constraints.extend(get_constraints(r.left, r.right)) + if isinstance(r.left, Variable) and isinstance(r.right, Aggregate): + aggregate_constraints.extend(get_constraints(r.right, r.left)) return aggregate_constraints + [ c for n, t in scalar_types for c in t.constraints(name=n, proof=True)