From 2b40bf81f72bd6c9ab2a20c3d22995d61d47c049 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 5 May 2021 17:59:33 +0200 Subject: validation: Fix remove duplicate pre-conds --- rtemsspec/validation.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtemsspec/validation.py b/rtemsspec/validation.py index e618dd58..ea7dbe24 100644 --- a/rtemsspec/validation.py +++ b/rtemsspec/validation.py @@ -664,8 +664,8 @@ def _compact_more(pre_conds: PreCondsOfPostCond) -> PreCondsOfPostCond: if len(diff) <= 1: if diff: index = diff[0] - combined_count += 1 first[index].extend(row[index]) + combined_count += 1 pre_conds.remove(row) pre_conds = next_pre_conds if combined_count == 0: -- cgit v1.2.3