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