From 47a441f193fd0bb66f2159e9c8bb900e0c05a6b7 Mon Sep 17 00:00:00 2001 From: Philipp van Kempen Date: Fri, 1 Mar 2024 08:48:50 +0100 Subject: [PATCH] fix last patch stage being skipped --- seal5/flow.py | 2 +- seal5/types.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/seal5/flow.py b/seal5/flow.py index 89e67693..6d4ae547 100644 --- a/seal5/flow.py +++ b/seal5/flow.py @@ -1577,7 +1577,7 @@ def apply_patch(self, patch: PatchSettings, force: bool = False): def patch(self, verbose: bool = False, stages: List[PatchStage] = None, force: bool = False): logger.info("Applying Seal5 patches") if stages is None: - stages = list(map(PatchStage, range(PatchStage.PHASE_4))) + stages = list(map(PatchStage, range(PatchStage.PHASE_5 + 1))) assert len(stages) > 0 patches_per_stage = self.collect_patches() for stage in stages: diff --git a/seal5/types.py b/seal5/types.py index 0fbaa454..6f9460ed 100644 --- a/seal5/types.py +++ b/seal5/types.py @@ -32,3 +32,4 @@ class PatchStage(IntEnum): PHASE_2 = 2 PHASE_3 = 3 PHASE_4 = 4 + PHASE_5 = 5