diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-05 17:59:33 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-05 18:00:00 +0200 |
| commit | 2b40bf81f72bd6c9ab2a20c3d22995d61d47c049 (patch) | |
| tree | 3ea001feca3ab582467b97bd7db32e0e6c2650c0 | |
| parent | validation: Reliably remove duplicate pre-conds (diff) | |
| download | rtems-central-2b40bf81f72bd6c9ab2a20c3d22995d61d47c049.tar.bz2 | |
validation: Fix remove duplicate pre-conds
| -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: |