diff options
Diffstat (limited to 'rtemsspec/validation.py')
| -rw-r--r-- | rtemsspec/validation.py | 2 |
1 files changed, 1 insertions, 1 deletions
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: |